Terminal Guake memiliki ruang tersisa di bagian atas

Saat memulai terminal Guake di 13,04, ada ruang 1-2 cm tersisa di atas. yaitu batas atas terminal guake adalah 1-2 cm di bawah tepi atas layar.

Bagaimana saya bisa memperbaikinya karena berfungsi dengan baik di 12.10.

Per jawaban yang dipilih, sekarang pindah ke atas oke, tetapi apakah ada yang punya ide di dua garis kecil di samping? (:) Itu terus mengganggu saya)

guake

— charlie
sumber

Jawaban:

Anda dapat memecahkan masalah dengan membuat gravitasi naik. Tidak, serius;)

Anda perlu melakukan perubahan sederhana pada file tersebut /usr/share/guake/guake.glade. Buka file itu dengan editor teks favorit Anda dan cari baris yang mengatakan

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

Ubah baris itu, sehingga tertulis

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

Simpan file, restart Guake, dan celahnya harus hilang.

— Henning Kockerbeck
sumber

Henning terima kasih! Menentang hukum gravitasi pada dasarnya menyelesaikan masalah saya. ;);) Sekarang guake benar-benar patah ke atas .. tapi ... ada garis sempit (tidak lebih dari 1 mm) di kedua sisi kiri dan kanan terminal guake. Saya kira terminal guake tidak meregang ke seluruh lebar layar.

— charlie

Saya melihat garis-garis itu juga, tetapi setidaknya di mata saya mereka sangat kecil sehingga saya tidak akan menginvestasikan waktu untuk menyingkirkannya;)

— Henning Kockerbeck

Adakah yang bisa membantu saya menyingkirkan garis sempit ke kiri dan kanan terminal guake?

— charlie

Ini berhenti bekerja di Ubuntu 14.10

— Suor

Saya masih memiliki masalah, jadi saya mengajukan laporan bug . 12px ke bawah, hanya di salah satu layar.

— Pablo Bianchi

guake glade menyebabkan terminal kembali ke menubar, saya telah melakukannya dengan nano / usr / bin / guake

temukan ini dan tambahkan window_rect.y = 25 sebelum kembali

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
sumber

Saya mencoba ini dengan nilai = 25 dan = 26, tetapi tidak ada perubahan?

— charlie

Tampaknya menjadi tempat yang tepat untuk mengedit. Adakah yang bisa membantu saya dengan nilai yang benar? Apa unit nilai properti window_rect.y? Apakah ini persentase atau semacamnya?

— charlie

Saya mencoba dengan beberapa nilai lain juga ... tetapi tidak ada yang terjadi ... apakah file ini sudah usang?

— charlie

tidak bekerja untuk saya

— Suor