Le terminal Guake a de l'espace en haut


11

Lors du démarrage du terminal Guake en 13.04, il reste un espace de 1 à 2 cm en haut. c'est-à-dire que la bordure supérieure du terminal guake est de 1 à 2 cm sous le bord supérieur de l'écran.

Comment puis-je résoudre ce problème car cela fonctionnait parfaitement en 12.10.

Selon la réponse sélectionnée, son maintenant déplacé vers le haut d'accord, mais quelqu'un a-t-il des idées sur les deux lignes mineures sur les côtés? (:) Ça continue de me déranger)

Réponses:


17

Vous pouvez résoudre le problème en faisant monter la gravité. Non sérieusement ;)

Vous devez apporter une modification simple au fichier /usr/share/guake/guake.glade. Ouvrez ce fichier avec votre éditeur de texte préféré et recherchez la ligne qui dit

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

Modifiez cette ligne, de sorte qu'elle indique

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

Enregistrez le fichier, redémarrez Guake et l'écart devrait disparaître.


Merci Henning! Défier les lois de la gravité a essentiellement résolu mon problème. ;);) Maintenant, le guake se fixe au sommet .. mais ... il y a des lignes étroites (pas plus de 1 mm de large) à la fois à gauche et à droite du terminal du guake. Je suppose que le terminal guake ne s'étend pas sur toute la largeur de l'écran.
charlie

Je vois aussi ces lignes, mais au moins à mes yeux, elles sont si petites que je ne vais pas investir de temps pour m'en débarrasser;)
Henning Kockerbeck

2
Quelqu'un d'autre peut-il m'aider à me débarrasser des lignes étroites à gauche et à droite du terminal guake?
charlie

Cela a cessé de fonctionner dans Ubuntu 14.10
Suor

J'ai toujours le problème, donc je dépose un rapport de bogue . 12px vers le bas, uniquement sur l'un des écrans.
Pablo Bianchi

1

guake glade fait que le terminal retourne à la barre de menus, je l'ai fait avec nano / usr / bin / guake

trouver cela et ajouter window_rect.y = 25 avant le retour

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

J'ai essayé ceci avec des valeurs = 25 et = 26, mais aucun changement?
charlie

Cela semble être le bon endroit pour éditer. Quelqu'un peut-il m'aider avec les bonnes valeurs? Quelle est l'unité de valeur de la propriété window_rect.y? Est-ce un pourcentage ou quelque chose?
charlie

1
J'ai également essayé avec d'autres valeurs ... mais rien ne se passe ... ce fichier est-il obsolète?
charlie

ni travailler pour moi
Suor
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.