Perguntas com a marcação «titlebar»

165
Como mudar o título do Gnome-Terminal?

Eu tenho várias instâncias de terminais em execução no meu ambiente de trabalho, o que eu gostaria é definir um título específico para cada um, para ter uma idéia clara de qual finalidade o terminal específico serve, como Apache, edit_ini, postgres etc. Claro a partir da linha de...

9
Escale barras de título e menu no Ubuntu 14.04 com Gnome

Instalei o gnome no meu novo 14.04 (não na distribuição Ubuntu-Gnome). Notei que as barras de título são enormes e gostaria de mudar. O importante é que esta solução daqui não esteja disponível para mim: Vá para Configurações do sistema. Vá para Monitores. Vá para "Dimensionar para barras...