Para quem estiver interessado, instalei um tema de shell. A barra de menu é agora muito mais fina. Então, obviamente, isso pode ser feito.
Estou experimentando o Ubuntu 16.10 com a interface do gnome. Eu gosto disso, exceto por 1 coisa. A barra de menu na janela do meu aplicativo é grande demais para mim. (Eu tenho uma tela de 14 ", 1366x768).
Alguém sabe em qual arquivo de tema eu posso mudar isso e como?
Obrigado.
Para quem estiver interessado, instalei um tema de shell. A barra de menu é agora muito mais fina. Então, obviamente, isso pode ser feito.