Aumentar o espaçamento do iniciador e do applet no painel Gnome Classic

Question

Estou usando o Ubuntu 12.04.1 com o Gnome Classic. Eu adicionei alguns lançadores no painel superior, mas eles são colocados com muita força (também dê uma olhada nos separadores, eles não estão realmente separados de nada):

Posso aumentar o espaçamento entre os lançadores?

AFAIK isto pode ser feito pela edição de ~ / .config / gtk-3.0 / gtk.css. Eu consegui alternar a configuração de fonte em negrito para o painel dessa maneira. Mas eu não encontrei qual parâmetro tem uma influência no lançador e no espaçamento do applet.

Além disso, o tamanho dos ícones parece grande demais para mim - eles ocupam todo o lugar de cima para baixo do painel, sem nenhuma borda. Eles eram menores quando eu estava usando 10.04. Existe alguma maneira de reduzir seu tamanho também?

    

Answer 1

Eu finalmente consegui resolver o problema de espaçamento e pronto para compartilhar minha solução. Adicione a ~/.config/gtk-3.0/gtk.css as seguintes linhas:

.gnome-panel-menu-bar.menubar .menuitem,
PanelWidget .button {
    padding: 0px 4px;
}

A primeira linha afeta o espaçamento dos cabeçalhos de menu (Aplicativos e Locais), o segundo afeta o espaçamento dos lançadores. Aqui está o resultado:

Você pode aumentar o espaçamento ainda mais, alterando o segundo parâmetro de preenchimento (6 pixels o farão com o espaçamento dos ícones do Applet Indicador no canto superior direito), mas estou muito feliz com 4 pixels. Lembre-se de que o aumento do preenchimento também tornará os botões de tarefa no painel inferior mais largos, já que eles também são Widgets de Painel. Ou você pode definir o espaçamento separadamente para os cabeçalhos e lançadores de menu - cabe a você:

.gnome-panel-menu-bar.menubar .menuitem {
    padding: 0px 4px;
}

PanelWidget .button {
    padding: 0px 3px;
}

Atualização: Finalmente encontramos o caminho para aumentar o preenchimento dos separadores de painel. Adicione a ~/.config/gtk-3.0/gtk.css várias outras linhas:

PanelSeparator {
    padding: 4px 8px;
}

O primeiro parâmetro de preenchimento reduzirá o comprimento dos separadores, o segundo fará o espaçamento em ambos os lados do separador. Aqui está o resultado final: