Par chance, des solutions sont apparues dans le sujet d’ubuntuforums.org mentionné dans le précédent article.

Voici le patch et l’applet que j’ai récupérés du post d’avb en page 99 de ce sujet. Le patch no_label_underline a été réalisé à partir d’une idée en bas page 52.

• gtk+ 2.12.0 gtkmenubar.diff
• no label underlines patch
• mac menu applet for patched gtk+ 2.12 (paquet deb pour gutsy 32 bits)

NOTE : J’ai édité cet article pour y ajouter le patch no_label_underline et, les instructions pour l’intégrer.
…

/!\ Lisez attentivement les instructions avant de commencer, vous faites ça à vos risques et périls.

J’ai d’abord installé le package de l’applet (avec dpkg en ligne de commande ou gdebi en mode graphique). Ensuite, pour installer apt-build, j’ai tapé dans un terminal: (choisir “ajouter le dépot apt-build au fichier sources.list” quand ça vous est demandé)

sudo apt-get install apt-build

Puis j’ai demandé à apt-build de télécharger les sources de la libgtk2.0-0 (apt-build se charge de récupérer les dépendances neccessaires comme le packages -dev):

sudo apt-build source libgtk2.0-0

L’étape suivante a été la copie des patches téléchargés de la où ils étaient sur mon disque (le Bureau dans _mon_ cas) vers le dossier des sources de la libgtk2.0-0

sudo cp ~/Desktop/099_mac_menubar.patch /var/cache/apt-build/build/gtk+2.0-2.12.0/debian/patches/

sudo cp ~/Desktop/098_no_label_underline.patch /var/cache/apt-build/build/gtk+2.0-2.12.0/debian/patches/

Et, j’ai ajouté leur noms à la liste debian/patches/series (tout en bas du fichier)

sudo gedit /var/cache/apt-build/build/gtk+2.0-2.12.0/debian/patches/series

La dernière commande consistait à lancer la contruction des paquets par apt-build

sudo apt-build install libgtk2.0-0

Note: cette étape peut prendre environ 30 min en fonction des capacités de votre ordinateur.

Enfin, update-manger m’a proposé une mise à jour pour les paquets de la libgtk (ceux du dépot apt-build, car mon dépot apt-build n’est pas signé.) et, j’ai ajouté l’applet mac menu au tableau de bord du haut de mon bureau, puis déconnexion, reconnexion de gnome, et ca marche

Pour ceux qui ne veulent pas s’essayer aux commandes ci dessus et qui préfèrent mes paquets pour ubuntu gutsy 32 bits, les voici. Les 2 patches ci dessus ont été appliqué à cette version :
NOTE : Ces paquets ont un numéro de version supérieur à ceux de la vesrsion originale ce qui devrait empecher leur mise à jour avant une mise à jour proposée par ubuntu avec un numéro supérieur à celui ci

• libgtk2.0-0_2.12.0-1ubuntu3.1_i386.deb
• libgtk2.0-bin_2.12.0-1ubuntu3.1_all.deb
• libgtk2.0-common_2.12.0-1ubuntu3.1_all.deb
• libgtk2.0-0-dbg_2.12.0-1ubuntu3.1_i386.deb
• gtk2-engines-pixbuf_2.12.0-1ubuntu3.1_i386.deb
• libgtk2.0-dev_2.12.0-1ubuntu3.1_i386.deb
• libgtk-directfb-2.0-0_2.12.0-1ubuntu3.1_i386.deb
• libgtk-directfb-2.0-dev_2.12.0-1ubuntu3.1_i386.deb
• libgtk2.0-doc_2.12.0-1ubuntu3.1_all.deb
• gtk2.0-examples_2.12.0-1ubuntu3_i386.deb

---

Instructions de déinstallation:
Si vous avez utilisé la méthode apt-build pour installer la libgtk patchée, voici la méthode pour déinstaller et revenir à l’originale :

1. Aller au menu systeme > administration > sourcesde logiciels. Selectionner l’onglet “logiciels tierce partie”, et décocher le dépot apt-build.
2. Puis dans un terminal, taper:

   sudo apt-get clean && sudo apt-get update && sudo apt-get install --reinstall -y libgtk2.0-0

3. Enfin deconnexion/reconnexion de gnome pour appliquer les changements.