O terminal de Guake ainda tem espaço no topo

11

Ao iniciar o terminal Guake em 13.04, resta um espaço de 1-2 cm no topo. ou seja, a borda superior do terminal guake é de 1-2 cm abaixo da borda superior da tela.

Como posso corrigir isso, pois estava funcionando perfeitamente na versão 12.10.

De acordo com a resposta selecionada, agora está tudo bem, mas alguém tem alguma idéia nas duas linhas secundárias dos lados? (:) Continua me incomodando)

Charlie
fonte

Respostas:

17

Você pode resolver o problema fazendo a gravidade subir. Não, sério;)

Você precisa fazer uma simples alteração no arquivo /usr/share/guake/guake.glade. Abra esse arquivo com seu editor de texto favorito e procure a linha que diz

<property name="gravity">static</property>

Mude essa linha, para que ela diga

<property name="gravity">north</property>

Salve o arquivo, reinicie o Guake e a lacuna deve desaparecer.

Henning Kockerbeck
fonte
Obrigado Henning! Desafiar as leis da gravidade resolveu essencialmente o meu problema. ;);) Agora o guake se encaixa no topo .. mas ... existem linhas estreitas (com não mais de 1 mm de largura) nos lados esquerdo e direito do terminal do guake. Acho que o terminal do guake não está estendendo-se a toda a largura da tela.
charlie
Eu vejo essas linhas bem, mas pelo menos nos meus olhos eles são tão pequenos que eu não vou investir tempo para se livrar deles;)
Henning Kockerbeck
2
Alguém mais pode me ajudar a me livrar das linhas estreitas à esquerda e à direita do terminal de guake?
Charlie #
Isso parou de funcionar no Ubuntu 14.10
Suor
Eu ainda tenho o problema, então eu arquivo um relatório de erro . 12 px abaixo, apenas em uma das telas.
Pablo Bianchi #
1

o guake glade faz com que o terminal volte à barra de menus, eu o fiz com nano / usr / bin / guake

encontre isso e adicione window_rect.y = 25 antes de retornar

def get_final_window_rect(self):
        """Gets the final size of the main window of guake. The height
        is the window_height property, width is window_width and the
        horizontal alignment is given by window_alignment.
        """
        screen = self.window.get_screen()
        height = self.client.get_int(KEY('/general/window_height'))
        width = 100
        halignment = self.client.get_int(KEY('/general/window_halignment'))

        # get the rectangle just from the first/default monitor in the
        # future we might create a field to select which monitor you
        # wanna use
        window_rect = screen.get_monitor_geometry(0)
        total_width = window_rect.width
        window_rect.height = window_rect.height * height / 100
        window_rect.width = window_rect.width * width / 100

        if width < total_width:
            if halignment == ALIGN_CENTER:
                window_rect.x = (total_width - window_rect.width) / 2
            elif halignment == ALIGN_LEFT:
                window_rect.x = 0
            elif halignment == ALIGN_RIGHT:
                window_rect.x = total_width - window_rect.width
        window_rect.y = 25 # <<<<<<<<<<<<<<<<<<<<< here
        return window_rect
mert
fonte
Eu tentei isso com valores = 25 e = 26, mas nenhuma alteração?
quer
Parece ser o lugar certo para editar. Alguém pode me ajudar com os valores corretos? Qual é a unidade de valor da propriedade window_rect.y? É porcentagem ou algo assim?
charlie
1
Eu tentei com alguns outros valores também ... mas nada acontece ... este arquivo está obsoleto?
charlie
não trabalham para mim
Suor