Il terminale Guake ha spazio lasciato in alto


11

Quando si avvia il terminale Guake in 13.04, nella parte superiore rimane uno spazio di 1-2 cm. vale a dire che il bordo superiore del terminale falso è 1-2 cm sotto il bordo superiore dello schermo.

Come posso risolvere questo problema perché funzionava perfettamente in 12.10.

Per la risposta selezionata, ora è spostato nella parte superiore ok, ma qualcuno ha qualche idea sulle due linee minori ai lati? (:) Mi dà fastidio)

Risposte:


17

Puoi risolvere il problema facendo salire la gravità. No sul serio ;)

Devi fare una semplice modifica al file /usr/share/guake/guake.glade. Apri quel file con il tuo editor di testo preferito e cerca la riga che dice

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

Cambia quella linea, in modo che dica

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

Salva il file, riavvia Guake e il divario dovrebbe essere sparito.


Grazie Henning! Sfidare le leggi di gravità ha sostanzialmente risolto il mio problema. ;);) Ora il falso scatta in alto ... ma ... ci sono linee strette (non più di 1 mm di larghezza) sia sul lato sinistro che su quello destro del terminale del falso. Immagino che il terminale guake non si stia estendendo per l'intera larghezza dello schermo.
— charlie,

Vedo anche quelle righe, ma almeno ai miei occhi sono così piccole che non investirò tempo per liberarmene;)
— Henning Kockerbeck,

2
Qualcun altro può aiutarmi a sbarazzarsi delle linee strette a sinistra e a destra del terminale falso?
— charlie,

Questo ha smesso di funzionare in Ubuntu 14.10
— Suor

Ho ancora il problema, quindi invio una segnalazione di bug . 12px in basso, solo su uno degli schermi.
— Pablo Bianchi,

1

guake glade causa il terminale torna alla barra dei menu, l'ho fatto con nano / usr / bin / guake

trova questo e aggiungi window_rect.y = 25 prima di tornare

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

Ho provato questo con i valori = 25 e = 26, ma nessuna modifica?
— charlie,

Sembra essere il posto giusto per modificare. Qualcuno può aiutarmi con i valori corretti? Che cos'è l'unità valore proprietà window_rect.y? È percentuale o qualcosa del genere?
— charlie,

1
Ho provato anche con altri valori ... ma non succede nulla ... questo file è deprecato?
— charlie,

né lavoro per me
— Suor,
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.