Posso definir a aparência do GNOME Debian?

6

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.

    
por zhangwfjh 27.01.2014 / 05:15

2 respostas

8

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

por 27.01.2014 / 06:53
0

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.

    
por 27.01.2014 / 16:50