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.