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

chiesto 06 Feb '18, 22:14

Davide_74's gravatar image

Davide_74
632688093

Scrivi tu la prima risposta!
abilita/disabilita anteprima

Segui questa domanda

Via email:

Una volta eseguito l'accesso potrai iscriverti a tutti gli aggiornamenti qui

Via RSS:

Risposte

Risposte e commenti

Basi di markdown

  • *corsivo* o __corsivo__
  • **grassetto** o __grassetto__
  • collegamento:[testo](http://url.com/ "titolo")
  • immagine?![alt testo](/path/img.jpg "titolo")
  • 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:

×69

domanda posta: 06 Feb '18, 22:14

domanda visualizzata: 765 volte

ultimo aggiornamento: 06 Feb '18, 22:14

Chiedi è un servizio di supporto gestito da Ubuntu-it. Contattaci!

powered by OSQAPostgreSQL database
Ubuntu e Canonical sono marchi registrati da Canonical Ltd.