[Risolto] Altezza del bordo delle finestre

Configurazione e uso delle applicazioni del desktop manager alla base di Ubuntu e di Ubuntu GNOME.

[Risolto] Altezza del bordo delle finestre

Messaggioda amivaleo » giovedì 16 marzo 2017, 9:06

Ciao a tutti,

Uso gnome-shell. Alcune app usano le "client-side decoration" o "gtk headerbar", come ad esempio gnome-file, gedit, etc. Altre non lo usano ancora.
Il bordo delle finestre nei due casi ha altezza diversa, come si vede nell'immagine:
Immagine

Come posso aumentare l'altezza del bordo delle finestre che NON usano gtk headerbar? Il tema nell'immagine è Adwaita, ma a me interessa capire quali sono le stringhe che settano l'altezza in un generico tema. Le trovo nel file "gtkrc" o altrove? Vorrei capire di più come modificare un tema, ma non ho trovato una guida completa finora.
Ultima modifica di amivaleo il venerdì 17 marzo 2017, 8:46, modificato 1 volta in totale.
:ciao:
Avatar utente
amivaleo
Scoppiettante Seguace
Scoppiettante Seguace
 
Messaggi: 487
Iscrizione: maggio 2010
Desktop: Gnome-Shell
Distribuzione: Gnome-Ubuntu 16.04 64bit
Sesso: Maschile

Re: Altezza del bordo delle finestre

Messaggioda fabrixx » giovedì 16 marzo 2017, 21:39

Per un futuro migliore, apt-get dist-upgrade per tutti...
os)(side blog      
Avatar utente
fabrixx
Imperturbabile Insigne
Imperturbabile Insigne
 
Messaggi: 4093
Iscrizione: maggio 2006
Desktop: gnome 3.23_x86_64 dev_rep
Distribuzione: "Arch Linux" x86_64

Re: Altezza del bordo delle finestre

Messaggioda amivaleo » venerdì 17 marzo 2017, 8:30

Sì, sì. Grazie!
In effetti ho proprio risolto cercando "headerbar" e "CSD".
Ora sto cercando di capire come modificare la dimensione dei tasti X [] _ nei temi gtk 2.0.
:ciao:
Avatar utente
amivaleo
Scoppiettante Seguace
Scoppiettante Seguace
 
Messaggi: 487
Iscrizione: maggio 2010
Desktop: Gnome-Shell
Distribuzione: Gnome-Ubuntu 16.04 64bit
Sesso: Maschile

Re: Altezza del bordo delle finestre

Messaggioda giulux » venerdì 17 marzo 2017, 8:37

Spiega meglio come hai risolto e modifica il titolo del primo post mettendoci davanti [Risolto].

Se vuoi poi installare questo script che aggiunge un pulsante per mettere [Risolto] con un solo click.
Ciao.
con l'aiuto della comunità le cose si mettono quasi sempre a posto (e non apposto), a parte (e non apparte) qualche caso ...
Avatar utente
giulux
Amministratore
Amministratore
 
Messaggi: 18231
Iscrizione: gennaio 2010
Località: Roma
Desktop: xubuntu
Distribuzione: Ubuntu 16.04.1 LTS x86_64
Sesso: Maschile

Re: Altezza del bordo delle finestre

Messaggioda amivaleo » venerdì 17 marzo 2017, 8:46

Non ho molto di più da spiegare. o.O
Ho aperto il file gtk.css e ho cercato "headerbar" e "CSD". quando ho trovato scritto da qualche parte "height: ## px;" ho provato a modificare quel numero, ho salvato e riavviato la shell. Così ho capito cosa stavo modificando.

Lo script non posso installarlo... Uso gnome-web. :(
:ciao:
Avatar utente
amivaleo
Scoppiettante Seguace
Scoppiettante Seguace
 
Messaggi: 487
Iscrizione: maggio 2010
Desktop: Gnome-Shell
Distribuzione: Gnome-Ubuntu 16.04 64bit
Sesso: Maschile


Torna a GNOME

Chi c’è in linea

Visualizzano questa sezione: 0 utenti registrati e 4 ospiti