Terminal Guake memiliki ruang tersisa di bagian atas

11

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)

charlie
sumber

Jawaban:

17

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
2
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
1

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
1
Saya mencoba dengan beberapa nilai lain juga ... tetapi tidak ada yang terjadi ... apakah file ini sudah usang?
charlie
tidak bekerja untuk saya
Suor