L'ordre des widgets d'extension de shell semble être aléatoire, comment puis-je le changer? Je veux avoir les informations date / heure à gauche par exemple.
Mon panneau de coque:
L'ordre des widgets d'extension de shell semble être aléatoire, comment puis-je le changer? Je veux avoir les informations date / heure à gauche par exemple.
Mon panneau de coque:
Réponses:
Façon commune:
Pour commencer, vous devez trouver le fichier correspondant à l'extension que vous souhaitez modifier.
Vous pouvez généralement trouver ici:
~/.local/share/gnome-shell/extensions
.Si l'extension a été installée via le gestionnaire de paquets, vous pouvez la trouver ici:
/usr/share/gnome-shell/extensions/
(Merci à AB )Ensuite, allez dans le répertoire de l'extension et ouvrez "
extension.js
" avec n'importe quel éditeur de texte.Allez à la ligne avec:
function enable()
(utilisez la fonction de recherche dans votre éditeur - si vous ne la trouvez pas, allez à la section Mise à jour plus bas).À l'intérieur de cette fonction se trouve généralement une ligne
Main.panel.addToStatusArea('NAME', _OTHERNAME, NUMBER, LEFT/CENTER/RIGHT);
(encore une fois: si vous ne la trouvez pas, allez dans Mettre à jour ). Il peut arriver que les deux derniers paramètres (NUMBER
etPOSITION
) soient manquants; ressemble à ceci:Main.panel.addToStatusArea('NAME', _OTHERNAME);
(Ne vous inquiétez pas! Votre ordinateur interprète la version plus courte avec:
('NAME', _OTHERNAME, 0, right);
N'hésitez pas à ajouter les paramètres manquants. Mais toujours dans l'ordre indiqué !!! )Le
POSITION
définit où sur le panneau l'icône doit être. Il y a trois zones: gauche , centre et droite . Vous ne voulez probablement pas modifier cette valeur, mais n'hésitez pas à le faire. Voici les trois états possibles pourPOSITION
sur le panneau:La valeur la plus importante que vous voudrez probablement changer est
NUMBER
. Il définit l'ordre des icônes à l'intérieur des sous-panneaux. Les valeurs possibles sont:0 : peu m'importe où se trouve l'icône.
valeurs négatives : position; à partir du côté droit (peut être important car toutes les icônes d'extension sont chargées après les icônes système)
valeurs positives : position; à partir du côté gauche. Des valeurs plus élevées seront situées plus à droite.
Vous devez jouer avec ces valeurs dans toutes vos extensions car les mêmes valeurs entrent en conflit (deux extensions différentes en position 2 n'ont aucun sens). Et parfois, même les valeurs suivantes sont en conflit.
Chaque fois que vous modifiez la valeur, assurez-vous d'enregistrer le fichier. Appuyez ensuite sur Alt+ F2, tapez ret Enter. Le panneau s'actualisera avec les icônes nouvellement commandées. Il s'agit d'une option rapide pour jouer avec ces valeurs.
Enfin une citation de Mathematical Coffee :
Veuillez me faire savoir si vous avez rencontré des problèmes avec cette approche.
Mise à jour:
J'ai regardé autour de moi et j'ai reconnu que cette méthode ne fonctionne pas pour toutes les extensions (surtout pour les extensions simples / nouvelles). Une extension fréquemment utilisée dans ce cas est "moniteur système". La façon de modifier la position des icônes doit être (généralement) la même (je ne l'ai pas testée. Assurez-vous donc de créer un fichier de sauvegarde) . Mais il existe quelques différences pour le "moniteur système":
var enable = function ()
. Il serait donc préférable de rechercher le motenable
dans le fichier.L'endroit où la position des icônes est définie est appelé
Main.panel._addToPanelBox('system-monitor', tray, 1, panel);
. La modification du nombre devrait avoir le même effet que celui décrit ci-dessus. Afin de modifier toute la zone, vous avez deux options:En changeant la même ligne en
Main.panel._addToPanelBox('system-monitor', tray, 1, Main.panel._rightBox);
(Remarque: la position dans le menu des paramètres de l'extension ne fonctionnera plus).Ou en changeant la ligne
let panel = Main.panel._rightBox;
(utilisez à nouveau la fonction de recherche) à la position souhaitée ( _leftBox, _centerBox, _rightBox ).(Ces étapes peuvent être appliquées à n'importe quelle autre extension. Mais il y aura des noms légèrement différents. Mais quand même: La manière courante a été décrite dans ma première tentative pour cette réponse)
Toute la procédure en bref:
Recherchez le fichier correspondant. Recherchez ensuite à l'
enable
intérieur de ce fichier. Ensuite, recherchez quelque chose commeMain.panel...
et changez les valeurs (assez explicites).Et enfin, j'ai remarqué que vous avez mentionné le panneau de temps. Je n'ai trouvé aucun bon moyen de modifier sa position mais voici autre chose:
Vous avez "moniteur système" installé. C'est bien :)
Ouvrez le correspondant
extension.js
et changez le mot "droite" en "gauche" dans ces deux lignes:Main.panel._addToPanelBox('dateMenu', dateMenu, -1, Main.panel._rightBox);
etMain.panel._rightBox.insert_child_at_index(dateMenu.actor, -1);
.Enfin, vous devez cocher «déplacer l'horloge» dans les paramètres de cette extension. Voilà! Je ne l'ai pas testé mais ça devrait marcher. Sinon, écrivez un commentaire :)
Ahh! Oublié de mentionner: chaque fois que vous modifiez l'une des valeurs, enregistrez le fichier et actualisez le panneau avec Alt+ F2- tapez r- appuyez sur Enter. Et assurez-vous de créer des fichiers de sauvegarde !!! :RÉ
la source
/usr/share/gnome-shell/extensions/
L' extension du menu Extend Panel vous permettra de trier les indicateurs avec la fonction "Tray offset" et l'onglet Indicators. Après avoir installé l'extension, accédez aux paramètres pour modifier vos indicateurs. OCDing heureux!
la source
Il existe également un moyen plus simple d'ouvrir
gnome-tweak-tool
, de parcourir l' onglet Extensions , puis de désactiver et réactiver les extensions. Cela déplace les icônes vers la gauche.la source
off
eton
...?