Mint Menu: workaround offset pannello inferiore su Linux Mint MATE e Compiz attivo

di Marco Giannini · 25 Settembre 2016

Linux Mint 18 MATE ha un piccolo problema che mi ha sempre annoiato ogni qual volta l’ho usato.

Come ben saprete dai miei precedenti rant e post ho una scheda video nVidia che soffre di tearing con quasi tutti i desktop environment e per risolvere il problema devo, ove possibile, usare Compiz come compositing.

Su Linux Mint 18 uso sempre Compiz con attivo il plugin Posizione Finestre attivo, plugin che consente alle finestre delle varie applicazioni lanciate di posizionarsi in maniera intelligente sul desktop e di non aprirsi tutte nella stessa posizione.

Bene, con questa combinazione di plugin (ma ogni tanto accade anche senza usare il plugin Posizione Finestre) accade che il Mint Menu presenta un offset verticale dal pannello inferiore.

In questa guida vedremo un workaround grazie al quale potremo risolvere questo problema.

Avviamo CompizConfig Settings Manager, andiamo nella sezione Gestore Finestre e qui andiamo ad attivare la voce Window Rules.

Nella nuova finestra che si aprirà selezioniamo il tab Size rules. Clicchiamo su Nuovo e creiamo la voce class=MintMenu.py lasciando a 0 i parametri di altezza e larghezza.

Clicchiamo su Chiudi.

Ora il Mint Menu si aprirà sempre correttamente senza lasciare uno spazio con il pannello inferiore.

Via GitHub

Visited 7 times, 1 visit(s) today

Se vuoi sostenermi, puoi farlo acquistando qualsiasi cosa dai diversi link di affiliazione che ho nel mio sito o partendo da qui oppure alcune di queste distribuzioni GNU/Linux che sono disponibili sul mio negozio online, quelle mancanti possono essere comunque richieste.

Se ti senti generoso, puoi anche donarmi solo 1€ o più se vuoi con PayPal e aiutarmi a continuare a pubblicare più contenuti come questo. Grazie!

Hai dubbi o problemi? Ti aiutiamo noi!

Se vuoi rimanere sempre aggiornato, iscriviti al nostro canale Telegram.
Se vuoi ricevere supporto per qualsiasi dubbio o problema, iscriviti alla nostra community Facebook o gruppo Telegram.

Cosa ne pensi? Fateci sapere i vostri pensieri nei commenti qui sotto.
Ti piace quello che leggi? Per favore condividilo con gli altri.