Una piccola patch per Gnome-Panel

Ti trovi qui : Blogging » Una piccola patch per Gnome-Panel

Sito originale

Avevo già parlato tempo fa di gnome-panel (Ho come l’impressione che…). In quel post cercavo di fare una critica costruttiva al quel “Run application…” (detto anche gnome-panel-run-dialog) che messo a confronto con krunner di Kde fa davvero una magra figura.

In realtà quando scrivevo quelle righe avevo già pensato a quali modifiche effettuare a quel “coso” e le avevo proposte a Gaspa, il quale con grande entusiasmo ha subito risposto positivamente all’invito di capirci qualcosa in quell’ammasso di codice che è gnome-panel.

Dopo pochi giorni di lavoro, prendendo come esempio il coso del volume:

siamo riusciti subito a raggiungere degli ottimi risultati.

Con lo stesso criterio del popup del volume, ovvero se il Composite è attivo “fammi gli effetti fighi” altrimenti vai “con la finestra di default” abbiamo portato delle modifiche al codice (utilizzando proprio le stesse funzioni che usa il media-keys). Il risultato è davvero carino, date un occhiata:

Non è male, dai!

Gaspa è stato poi così gentile (pensate che il grosso del lavoro l’ha fatto proprio lui…) che ha caricato nel suo ppa i pacchetti per Intrepid e Jaunty.

Per avere il pannello in “questa nuova veste”, potrete usufruire direttamente dei suoi repository:

Intrepid: deb http://ppa.launchpad.net/gaspa/ppa/ubuntu intrepid main deb-src http://ppa.launchpad.net/gaspa/ppa/ubuntu intrepid main Jaunty: deb http://ppa.launchpad.net/gaspa/ppa/ubuntu jaunty main deb-src http://ppa.launchpad.net/gaspa/ppa/ubuntu jaunty main

Reinstallate il pacchetto “gnome-panel“:

sudo apt-get install --reinstall gnome-panel

Successivamente sarà possibile (e lo consigliamo) rimuovere il repository dalla propria lista. Dovrete ovviamente importare con il solito comando la chiave pubblica del repository:

gpg --keyserver keyserver.ubuntu.com --recv-keys B0EBBB9491B7031A gpg --export B0EBBB9491B7031A --armor | sudo apt-key add -

Se poi siete anche interessati a dare un occhiata alla patch, vi rimando direttamente al bzr di ubuntu-it-dev che utilizzavamo per sincronizzarci:

Test on some patch for gnome-panel.

bzr branch lp:~ubuntu-it-dev/gnome-panel/gp-patches

Il file della patch lo trovate in:

gp-patches/panel_changes/panel-run-dialog.patch

Intanto sia su Launchpad che su Bugzilla di Gnome sono stati aperti dei bug wishlist per segnalare la presenza di questa modifica: