W terminalu Guake na górze jest wolne miejsce

11

Po uruchomieniu terminala Guake w 13.04 na górze pozostało miejsce 1-2 cm. tj. górna krawędź fałszywego terminalu znajduje się 1-2 cm poniżej górnej krawędzi ekranu.

Jak mogę to naprawić, ponieważ działało idealnie w 12.10.

Zgodnie z wybraną odpowiedzią jest teraz przeniesiona na najwyższą pozycję, ale czy ktoś ma jakieś pomysły na temat dwóch mniejszych linii po bokach? (:) Ciągle mi to przeszkadza)

Charlie
źródło

Odpowiedzi:

17

Możesz rozwiązać problem, podnosząc grawitację w górę. Niepoważnie ;)

Musisz dokonać prostej zmiany w pliku /usr/share/guake/guake.glade. Otwórz ten plik w swoim ulubionym edytorze tekstu i poszukaj wiersza z napisem

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

Zmień tę linię, aby była napisana

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

Zapisz plik, uruchom ponownie Guake i luka powinna zniknąć.

Henning Kockerbeck
źródło
Dzięki, Henning! Przeciwstawianie się prawom grawitacji zasadniczo rozwiązało mój problem. ;);) Teraz guake jest przyciągany do góry .. ale ... są wąskie (nie więcej niż 1 mm szerokości) linie po lewej i prawej stronie terminala. Chyba terminal Guake'a nie rozciąga się na całą szerokość ekranu.
charlie
Widzę również te linie, ale przynajmniej w moich oczach są tak małe, że nie będę inwestować czasu, aby się ich pozbyć;)
Henning Kockerbeck 30.04.2013
2
Czy ktoś może mi pomóc pozbyć się wąskich linii po lewej i prawej stronie terminala Guake?
charlie
To przestało działać w Ubuntu 14.10
Suor
Nadal mam problem, więc zgłaszam błąd . 12 pikseli w dół, tylko na jednym ekranie.
Pablo Bianchi
1

guake glade powoduje, że terminal wraca do paska menu, zrobiłem to z nano / usr / bin / guake

znajdź to i dodaj window_rect.y = 25 przed powrotem

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
źródło
Próbowałem tego z wartościami = 25 i = 26, ale bez zmian?
charlie
Wydaje się, że jest to właściwe miejsce do edycji. Czy ktoś może mi pomóc z prawidłowymi wartościami? Co to jest jednostka wartości właściwości window_rect.y? Czy to procent czy coś takiego?
charlie
1
Próbowałem też z innymi wartościami ... ale nic się nie dzieje ... czy ten plik jest nieaktualny?
charlie
dla mnie też nie działa
Suor