Adicionar um preenchimento de janela para guake

Question

O texto está muito perto da borda da tela, eu gostaria de permitir um pequeno preenchimento de 10 pixels em todos os lados para confortar meus olhos. Isso é possível? Estou usando guake .

    

Answer 1

guake é um script python, então você pode simplesmente editá-lo.

1. Abra o script guake em seu editor de texto favorito ( gedit ou vim ou o que você usa):

   sudo emacs /usr/bin/guake
   

2. Encontre esta linha:

   width = 100
   

   Ele deve estar na função get_final_window_rect(self) , no meu guake é a linha 821.

3. Altere para:

   width = 99
   

   salve o arquivo.

4. Feche e reinicie o guake :

   guake -q && guake &
   

O melhor que eu consegui para adicionar um preenchimento foi adicionar uma borda ao redor da janela guake , não exatamente o que você precisa, mas pode ser uma solução decente. Edite o arquivo /usr/share/guake/guake.glade , vá para a seção <widget class="GtkNotebook" id="notebook-teminals"> e altere esta linha (linha 24 na minha versão):

<property name="show_border">False</property>

para

<property name="show_border">True</property>

Isso tem o efeito de adicionar uma borda ao redor da janela glade, que age como se fosse um preenchimento adicional. não perfeito, mas pode ser uma solução alternativa.

Outra opção (mais feia) é mudar

 <property name="decorated">False</property>

para

<property name="decorated">True</property>

na linha 11, em <widget class="GtkWindow" id="window-root"> . Isso fará com que guake pareça uma janela normal, então, novamente, haverá espaço entre a borda da tela e glade . Claro, se você estiver disposto a fazer isso, você pode também usar um emulador de terminal normal e evitar todo esse problema.