per editare soprattutto i colori del tema di default e non solo,anche le misure dei vari pannelli si fa così: scarichiamo io ho fatto copia ed incolla da qui https://gitlab.gnome.org/GNOME/gnome-shell/blob/a8c769e0ff990ce511acfcd87e2369e88e4c85cf/data/theme/gnome-shell.css scaricato il file oppure copiato ed incollato lo rinominiamo gnome-shell.css poi creiamo una cartella con nome obbligatorio "gnome-shell" all'interno copiamo il file gnome-shell.css poi creiamo un altra cartella con nome a piacere tipo gnome-edit all'interno copiamo la cartella gnome-shell in fine copiamo la cartella gnome-edit in /home/.themes se non c'è la creiamo ed ecco fatto. esempio se vogliamo cambiare il colore del pannello in alto basta modificare la stringa numero 582 tipo da così background-color: black; a così background-color: #3c4141; Saluti |
Segui questa domanda
Via email:Una volta eseguito l'accesso potrai iscriverti a tutti gli aggiornamenti qui
Via RSS:Basi di markdown
- *corsivo* o __corsivo__
- **grassetto** o __grassetto__
- collegamento:[testo](http://url.com/ "titolo")
- immagine?
- elenco numerato: 1. Foo 2. Bar
- per aggiungere un'interruzione di riga, aggiungi due spazi a fine riga e premi «Invio»
- è supportato anche semplice HTML
Tag:
domanda posta: 06 Feb '18, 22:14
domanda visualizzata: 765 volte
ultimo aggiornamento: 06 Feb '18, 22:14