martedì 25 novembre 2014

Guake: modificare la larghezza della finestra

Editare /usr/bin/guake

Trovare il blocco di codice
       
        screen = self.window.get_screen()
        height = self.client.get_int(KEY('/general/window_height'))
        # modificata larghezza finestra guake
        # width = 100
        width = 90
        halignment = self.client.get_int(KEY('/general/window_halignment'))

e cambiare

        width = 100
       
in

        # width = 100
        width = 90

Il valore della variabile width esprime la larghezza della finestra espressa in percentuale rispetto alla larghezza dello schermo.

N.B. in alcune distribuzioni il file da modificare e' /usr/lib/guake.py