Come posso ordinare estensioni della shell Gnome3 in alto?

16

L'ordine dei widget di estensione della shell sembra essere casuale, come posso cambiarlo? Ad esempio, voglio avere le informazioni sulla data / ora a sinistra.

Il mio pannello della shell:

    
posta klausi 23.04.2014 - 22:18
fonte

3 risposte

13

Modo comune:

Per cominciare devi trovare il file corrispondente dell'estensione che vuoi modificare.
Solitamente puoi trovarlo qui: ~/.local/share/gnome-shell/extensions .
Se l'estensione è stata installata tramite Gestione pacchetti, puoi trovarla qui: /usr/share/gnome-shell/extensions/ (Grazie a AB )

Quindi vai nella directory dell'estensione e apri " extension.js " con qualsiasi editor di testo.

Vai alla riga con: function enable() (usa la funzione di ricerca nel tuo editor - se non riesci a trovarla vai nella sezione Aggiornamento più in basso).
All'interno di questa funzione solitamente c'è una riga Main.panel.addToStatusArea('NAME', _OTHERNAME, NUMBER, LEFT/CENTER/RIGHT); (Ancora: se non riesci a trovarla vai su Aggiorna ). Potrebbe accadere che manchino gli ultimi due parametri ( NUMBER e POSITION ); assomiglia a questo: Main.panel.addToStatusArea('NAME', _OTHERNAME);
(Non ti preoccupare! Il tuo computer interpreta la versione più corta con: ('NAME', _OTHERNAME, 0, right); Sentiti libero di aggiungere i parametri mancanti, ma sempre nell'ordine mostrato !!! )

La POSITION definisce dove deve essere l'icona sul pannello. Ci sono tre aree: sinistra , centro e destra . Probabilmente non vuoi cambiare questo valore, ma sentiti libero di farlo. Ecco i tre possibili stati per POSITION sul pannello:

------------------------------------------------------------------
Activities                 Date                        Other icons
------------------------------------------------------------------
   left                   center                          right 

Il valore più importante che probabilmente vuoi cambiare è NUMBER . Definisce l'ordine delle icone all'interno dei pannelli secondari. I valori possibili sono:

  • 0 : non mi interessa dove si trova l'icona.

  • valori negativi : posizione; partendo dal lato destro (potrebbe essere importante in quanto tutte le icone di estensione vengono caricate dopo le icone di sistema)

  • valori positivi : posizione; iniziando dal lato sinistro. I valori più alti si troveranno più a destra.

Devi giocare con quei valori in tutte le tue estensioni perché gli stessi valori sono in conflitto tra loro (due diverse estensioni sulla posizione 2 non hanno alcun senso). E a volte anche i seguenti conflitti di valori.

Ogni volta che cambi il valore, assicurati di salvare il file. Quindi premi Alt + F2 , digita r e Invio . Il pannello si aggiornerà con le nuove icone ordinate. Questa è un'opzione veloce per giocare con quei valori.

Infine cita Caffè matematico :

  

Usa Main.panel.addToStatusArea (unique_name_of_indicator, inidicator, position, box) per aggiungere un SystemStatusButton o PanelButton al pannello. Questo gestisce l'aggiunta del menu al gestore menu per te (la casella è Main.panel ._ {left, right, center} Box, omettendo l'argomento box fornisce la casella a destra per impostazione predefinita, e la posizione di omissione dà la posizione 0). Se il tuo pulsante è solo un ButtonBox (cioè nessun menu), allora rimani con. _ {left, right, center} Box.insert_child_at_index.

Per favore fammi sapere se hai avuto problemi con questo approccio.

Aggiornamento:

Mi sono guardato intorno e ho riconosciuto che in questo modo non funziona per tutte le estensioni (principalmente solo per le estensioni semplici / nuove). Un'estensione frequentemente utilizzata in questo caso è "monitor di sistema". Il modo di modificare la posizione delle icone dovrebbe essere (generalmente) lo stesso (non l'ho provato. Quindi assicurati di creare un file di backup) . Ma ci sono alcune differenze per "monitor di sistema":

  1. La funzione che devi cercare si chiama var enable = function () . Quindi potrebbe essere meglio cercare la parola enable nel file.
  2. Il luogo in cui è definita la posizione delle icone è chiamato Main.panel._addToPanelBox('system-monitor', tray, 1, panel); . La modifica del numero dovrebbe avere lo stesso effetto di quanto descritto sopra. Per cambiare l'intera area hai due opzioni:

    • Modificando la stessa riga su Main.panel._addToPanelBox('system-monitor', tray, 1, Main.panel._rightBox); (Nota: la posizione nel menu delle impostazioni dell'estensione non funzionerà più).

    • O modificando la riga let panel = Main.panel._rightBox; (di nuovo usa la funzione di ricerca) nella posizione desiderata ( _leftBox, _centerBox, _rightBox ).

(Questi passaggi possono essere applicati a qualsiasi altra estensione, ma ci saranno nomi leggermente diversi, ma comunque: il modo comune è stato descritto nel mio primo tentativo per questa risposta)

L'intera procedura in poche parole:

Cerca il file corrispondente. Quindi cerca enable in questo file. Quindi cerca qualcosa come Main.panel... e modifica i valori (abbastanza auto esplicativo).

E alla fine ho notato che hai menzionato il pannello orario. Non ho trovato un buon modo per modificare la sua posizione ma qui c'è qualcos'altro:

Hai installato "monitor di sistema". È buono :)
Apri il extension.js e modifica la parola "destra" a "sinistra" in queste due righe:
Main.panel._addToPanelBox('dateMenu', dateMenu, -1, Main.panel._rightBox); e Main.panel._rightBox.insert_child_at_index(dateMenu.actor, -1); .
Infine devi controllare "move clock" nelle impostazioni di questa estensione. Ecco qua! Non l'ho provato ma dovrebbe funzionare.In caso contrario, scrivi un commento:)

Ahh! Hai dimenticato di menzionare: Ogni volta che cambi i valori, salva il file e aggiorna il pannello con Alt + F2 - digita r - hit < kbd> Invio . E assicurati di creare file di backup !!! : D

    
risposta data Jibbow 13.08.2015 - 17:04
fonte
1

L'estensione Estendi pannello ti consente di ordinare gli indicatori con "Offset vassoio" funzione e la scheda Indicatori. Dopo aver installato l'estensione, vai nelle impostazioni per modificare i tuoi indicatori. OCDing felice!

    
risposta data guttermonk 30.04.2018 - 02:34
fonte
-1

C'è anche un modo più semplice di aprire solo gnome-tweak-tool , sfogliare la scheda Estensioni , quindi disattivare e riattivare le estensioni. In questo modo le icone si spostano a sinistra.

    
risposta data user693690 27.05.2017 - 04:14
fonte

Leggi altre domande sui tag