Posso definir a aparência do GNOME Debian?

Question

Existe alguma ferramenta para definir a aparência do GNOME Debian 7.2.0? Eu sinto barra de título é muito grosso e fonte é muito grande. Eu estou apenas deixando o Ubuntu para o Debian, então eu não estou tão familiarizado com isso.

    

Answer 1

Existem várias coisas que você pode fazer para melhorar as barras de título no GNOME 3.

1. preenchimento

A configuração para o preenchimento é controlada neste arquivo XML de metacity, /usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml .

• Abra uma janela de terminal

  $ sudo sed -i "/title_vertical_pad/s/value=\"[0-9]\{1,2\}\"/value=\"0\"/g" \
      /usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml
  

• Ativa Alt + F2

• digite restart
• pressione Enter

Exemplo

antes

depois

2. gnome-tweak-tool

Esta ferramenta permite personalizar a fonte que deve ser usada para a barra de título.

$ gnome-tweak-tool

screenshot

3. dconf-editor

Você também pode alterá-lo usando dconf-editor .

$ dconf-editor

Em seguida, navegue pela hierarquia da seguinte forma:

org > gnome > desktop > wm > preferences :: titlebar-font

screenshot

4.gsettings

Vocêpodeusaroscomandosgetesetparagsettingsparadescobrirquaisinformaçõesdabarradetítuloestãosendousadas.

acertar

$gsettingsgetorg.gnome.desktop.wm.preferencestitlebar-font'CantarellBold8'

definirconfigurações

$gsettingssetorg.gnome.desktop.wm.preferencestitlebar-font'CantarellBold10$

Referências

• Gnome 3 Massive Title Bar
• Como redimensionar o tamanho da fonte na janela barra de título no gnome?

Answer 2

Se você estiver usando o Gnome3 (e o shell do Gnome), talvez queira algumas das extensões de shell disponíveis no projeto gnome estão disponíveis para alterar seu comportamento padrão e sentir.

Eu percebo que esta resposta não resolve sua questão diretamente, mas eu encontrei várias extensões úteis que removeram vários aborrecimentos com o comportamento padrão do Gnome3.