Come posso ordinare le estensioni della shell di Gnome3 in alto?


18

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

Il mio pannello shell:

Il mio pannello di shell


Buona domanda. Temo che sia quasi impossibile senza dover modificare strani file CSS. Questa è una delle cose che mostra che l'intera cosa dell'estensione è stata un ripensamento, secondo me.
Rmano,

Alcune estensioni come extensions.gnome.org/extension/584/taskbar ti consentono di posizionare dove lo metti ... (potrebbe essere un'estensione errata - una delle estensioni della barra delle applicazioni ...)
Wilf,

Mi piacerebbe piace di trovare una risposta per questo
Quella brasiliana Guy

@ThatBrazilianGuy Che ama la risposta :)
AB

@klausi Ho aggiornato la mia risposta. Spero che si adatti alle tue esigenze :)
Jibbow

Risposte:


16

Modo comune:

Per cominciare devi trovare il file corrispondente dell'estensione che desideri modificare.
Di solito è possibile trovare qui: ~/.local/share/gnome-shell/extensions.
Se l'estensione è stata installata tramite il gestore 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 alla sezione Aggiorna più in basso).
All'interno di questa funzione di solito c'è una linea Main.panel.addToStatusArea('NAME', _OTHERNAME, NUMBER, LEFT/CENTER/RIGHT);(Ancora: se non riesci a trovarla vai su Aggiorna ). Potrebbe succedere che manchino gli ultimi due parametri ( NUMBERe POSITION); assomiglia a questo: Main.panel.addToStatusArea('NAME', _OTHERNAME);
(Non preoccuparti! Il tuo computer interpreta la versione più breve con: ('NAME', _OTHERNAME, 0, right);Sentiti libero di aggiungere i parametri mancanti. Ma sempre nell'ordine mostrato !!! )

I POSITIONdefinisce dove sul pannello l'icona dovrebbe essere. Esistono tre aree: sinistra , centro e destra . Probabilmente non vuoi cambiare questo valore ma sentiti libero di farlo. Ecco i tre stati possibili per POSITIONsul 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; a partire dal lato destro (potrebbe essere importante in quanto tutte le icone di estensione vengono caricate dopo le icone di sistema)

  • valori positivi : posizione; a partire dal lato sinistro. Valori più alti saranno posizionati 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 nella posizione 2 non hanno alcun senso). E a volte anche i seguenti valori sono in conflitto.

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


Infine una citazione da Mathematical Coffee :

Utilizzare Main.panel.addToStatusArea (unique_name_of_indicator, inidicator, position, box) per aggiungere un SystemStatusButton o PanelButton al pannello. Questo gestisce l'aggiunta del suo menu al menu manager per te (box is Main.panel ._ {left, right, center} Box, omettendo l'argomento box dà il riquadro destro per impostazione predefinita e ommitting position dà posizione 0). Se il tuo pulsante è solo ButtonBox (cioè nessun menu), mantieni. _ {sinistra, destra, centro} Box.insert_child_at_index.

Per favore fatemi sapere se avete avuto problemi con questo approccio.


Aggiornare:

Mi sono guardato intorno e ho riconosciuto che in questo modo non funziona per tutte le estensioni (principalmente solo per estensioni semplici / nuove). Un'estensione usata di frequente 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. Viene chiamata la funzione che devi cercare var enable = function (). Quindi potrebbe essere meglio cercare la parola enablenel file.
  2. Viene chiamato il luogo in cui viene definita la posizione delle icone Main.panel._addToPanelBox('system-monitor', tray, 1, panel);. La modifica del numero dovrebbe avere lo stesso effetto descritto sopra. Per cambiare l'intera area hai due opzioni:

    • Modificando la stessa riga in 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 linea let panel = Main.panel._rightBox;(utilizzare nuovamente 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 di risposta)


L'intera procedura in breve:

Cerca il file corrispondente. Quindi cerca enableall'interno di questo file. Quindi cerca qualcosa di simile Main.panel...e modifica i valori (abbastanza autoesplicativo).


E finalmente ho notato che hai menzionato il pannello dei tempi. Non ho trovato un buon modo per modificarne la posizione, ma ecco qualcos'altro:

Hai "monitor di sistema" installato. Va bene :)
Apri il secondo extension.jse cambia la parola "destra" in "sinistra" in quelle due righe:
Main.panel._addToPanelBox('dateMenu', dateMenu, -1, Main.panel._rightBox);e Main.panel._rightBox.insert_child_at_index(dateMenu.actor, -1);.
Infine, devi selezionare "sposta orologio" 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 valori, salva il file e aggiorna il pannello con Alt+ F2- type r- hit Enter. E assicurati di creare file di backup !!! : D


Se ti piace la risposta, fai clic sul piccolo grigio sul lato sinistro della risposta, trasformandolo in un bellissimo verde. Se ti piace la risposta, fai clic sul piccolo segno di spunta grigio e sulla piccola freccia rivolta
AB


1
Le estensioni installate tramite Gestione pacchetti vengono inserite in/usr/share/gnome-shell/extensions/
AB

1
Wow! Dovresti ottenere qualche altro voto solo per tutto lo sforzo! ;-)
Fabby

2017 e ancora impossibile senza rischiare il tuo sistema. Stupefacente.
HörmannHH,

2

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


Non proprio quello che stavo cercando, ma comunque un ottimo consiglio. Questa estensione corregge il calendario nel menu di stato centrale e raggruppato che mi ha sempre infastidito! :)
Cas

-2

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


Girando cosa offe on...?
George Udosen,

1
questo ordinerà le estensioni solo per questa sessione.
QkiZ
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.