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":
- Viene chiamata la funzione che devi cercare
var enable = function (). Quindi potrebbe essere meglio cercare la parola enablenel file.
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
