В терминале Guake осталось место сверху

11

При запуске терминала Guake в 13.04, наверху остается пространство 1-2 см. т. е. верхняя граница терминала guake находится на 1-2 см ниже верхнего края экрана.

Как я могу это исправить, так как он отлично работал в 12.10.

В соответствии с выбранным ответом, теперь все хорошо, но есть ли у кого-нибудь идеи относительно двух второстепенных линий по бокам? (:) Это продолжает беспокоить меня)

Чарли
источник

Ответы:

17

Вы можете решить эту проблему, увеличив гравитацию вверх. Нет, серьезно ;)

Вам нужно сделать простое изменение в файле /usr/share/guake/guake.glade. Откройте этот файл в вашем любимом текстовом редакторе и найдите строку с надписью

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

Измени эту строку, чтобы она говорила

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

Сохраните файл, перезапустите Guake и пробел должен исчезнуть.

Хеннинг Кокербек
источник
Спасибо, Хеннинг! Отказ от законов гравитации по сути решил мою проблему. ;);) Теперь guake действительно привязывается к вершине ... но ... есть узкие (не более 1 мм ширины) линии как на левой, так и на правой стороне терминала guake. Я думаю, что терминал guake не растягивается на всю ширину экрана.
Чарли
Я тоже вижу эти строки, но, по крайней мере, в моих глазах они настолько малы, что я не потрачу время, чтобы от них избавиться;)
Хеннинг Кокербек,
2
Может ли кто-нибудь еще помочь мне избавиться от узких линий слева и справа от терминала guake?
Чарли
Это перестало работать в Ubuntu 14.10
Suor
У меня все еще есть проблема, поэтому я подаю отчет об ошибке . 12px вниз, только на одном из экранов.
Пабло Бьянки
1

guake glade приводит к тому, что терминал возвращается к menubar, я сделал это с помощью nano / usr / bin / guake

найдите это и добавьте window_rect.y = 25 перед возвратом

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
источник
Я пробовал это с = 25 и = 26 значениями, но без изменений?
Чарли
Кажется, это правильное место для редактирования. Может ли кто-нибудь помочь мне с правильными значениями? Что такое единица измерения значения свойства window_rect.y? Это процент или что-то?
Чарли
1
Я пробовал и с некоторыми другими значениями ... но ничего не происходит ... этот файл устарел?
Чарли
ни у меня не работает
Suor