#1 Le 20/06/2013, à 19:19
- Pierre771
FF 22 : Global menu bar remplacé par about:config
Bonsoir
depuis la version 22 de Firefox, obtenue dans le PPA Mozilla security
l'ancienne extension Global menu bar integration n'existe plus ! Comme c'est confirmé ici :
https://launchpad.net/globalmenu-extension
ou plus exactement elle est intégrée car chez moi le bouton Firefox a disparu, remplacé par la barre de menu escamotable d'Unity.
Or l'intérêt de cette extension était... qu'elle pouvait être désactivée !
On peut le faire désormais dans about:config
passer ui.use_unity_menubar à false
Bonne soirée
Dernière modification par Pierre771 (Le 28/06/2013, à 07:09)
C'est trop injuste !
Mes configs
Asus X73S - Windows 10 famille 64 bits + Manjaro KDE - Intel core i5 2,4 Ghz - Intel Graphics 3000 + GEFORCE GT 540M (Optimus) - 600 Go + 600 Go - RAM 10 Go - Ecran 1600x900
Hors ligne
#2 Le 20/06/2013, à 19:27
- Korak
Re : FF 22 : Global menu bar remplacé par about:config
Bonjour,
Personnellement, je vais attendre d'avoir la version 22 de Firefox via les mises-à-jour (depuis les dépôts officiels d'Ubuntu et pas depuis un PPA) pour savoir si j'ai le même problème.
OS: Ubuntu 22.04 64 bits + Windows 11 64 bits en dualboot (BIOS UEFI, Secure Boot activé et table de partitions GPT)
PC portable HP 17-CP0308NF Processeur: AMD Ryzen 7 5700U avec carte graphique AMD Lucienne intégrée au processeur. Mémoire vive: 16 Go RAM
Quand vous ne trouvez pas la solution à un problème, cherchez des pistes menant à la solution !
Hors ligne
#3 Le 20/06/2013, à 19:30
- Pierre771
Re : FF 22 : Global menu bar remplacé par about:config
Bonjour,
Personnellement, je vais attendre d'avoir la version 22 de Firefox via les mises-à-jour (depuis les dépôts officiels d'Ubuntu et pas depuis un PPA) pour savoir si j'ai le même problème.
Bonsoir
Tu l'auras puisque c'est une innovation de la 22 dans Ubuntu-Unity
L'utilisation du PPA Mozilla security était une simple habitude chez moi. Elle me permet de signaler ce petit pb aux autres en avant-première.
C'est trop injuste !
Mes configs
Asus X73S - Windows 10 famille 64 bits + Manjaro KDE - Intel core i5 2,4 Ghz - Intel Graphics 3000 + GEFORCE GT 540M (Optimus) - 600 Go + 600 Go - RAM 10 Go - Ecran 1600x900
Hors ligne
#4 Le 20/06/2013, à 19:37
- Korak
Re : FF 22 : Global menu bar remplacé par about:config
Tu l'auras puisque c'est une innovation de la 22 dans Ubuntu-Unity
Logiquement oui, mais pas nécessairement. Ce ne serait pas la première fois qu'il y a un bug.
L'utilisation du PPA Mozilla security était une simple habitude chez moi. Elle me permet de signaler ce petit pb aux autres en avant-première.
Oui, et merci à toi de le faire.
OS: Ubuntu 22.04 64 bits + Windows 11 64 bits en dualboot (BIOS UEFI, Secure Boot activé et table de partitions GPT)
PC portable HP 17-CP0308NF Processeur: AMD Ryzen 7 5700U avec carte graphique AMD Lucienne intégrée au processeur. Mémoire vive: 16 Go RAM
Quand vous ne trouvez pas la solution à un problème, cherchez des pistes menant à la solution !
Hors ligne
#5 Le 20/06/2013, à 20:55
- Pierre771
Re : FF 22 : Global menu bar remplacé par about:config
Logiquement oui, mais pas nécessairement. Ce ne serait pas la première fois qu'il y a un bug...
Ce n'est pas un bug.
L'extension a été supprimée (cf le lien Launchpad plus haut) et remplacée par un bricolage "built-in" dans le logiciel FF lui-même : un paramétrage dans about:config
Certes on peut imaginer qu'il y ait un retour en arrière dans les quelques jours de délai entre la parution dans la PPA et celle dans les dépôts officiels mais c'est peu probable.
C'est trop injuste !
Mes configs
Asus X73S - Windows 10 famille 64 bits + Manjaro KDE - Intel core i5 2,4 Ghz - Intel Graphics 3000 + GEFORCE GT 540M (Optimus) - 600 Go + 600 Go - RAM 10 Go - Ecran 1600x900
Hors ligne
#6 Le 28/06/2013, à 06:21
- Pierre771
Re : FF 22 : Global menu bar remplacé par about:config
Bonjour
La version de FF (22) des dépôts Ubuntu est parue ce matin et c'est confirmé, évidemment...
Merci de votre confiance aveugle...
PS. cet excellent PPA
https://launchpad.net/~ubuntu-mozilla-s … rchive/ppa
propose aussi une version parfaitement à jour du navigateur libre Chromium (logo bleu), version alignée sur celle de Google Chrome. Je pense qu'aucune distribution Linux n'en propose une version aussi fraîche. Le lien ci-dessus n'est pas à jour, c'est la Version 28.0.1500.63.
Les sacro-saints dépôts officiels offrent une version figée à 25...
http://packages.ubuntu.com/raring/chromium-browser
et qu'on ne me raconte pas que c'est une histoire de sécurité...
Dernière modification par Pierre771 (Le 28/06/2013, à 07:06)
C'est trop injuste !
Mes configs
Asus X73S - Windows 10 famille 64 bits + Manjaro KDE - Intel core i5 2,4 Ghz - Intel Graphics 3000 + GEFORCE GT 540M (Optimus) - 600 Go + 600 Go - RAM 10 Go - Ecran 1600x900
Hors ligne
#7 Le 28/06/2013, à 07:09
- Galuel
Re : FF 22 : Global menu bar remplacé par about:config
Pierre771 merci pour l'information ! Ce soucis me prenait la tête depuis quelques jours... Résolu
Dernière modification par Galuel (Le 28/06/2013, à 07:10)
Hors ligne
#8 Le 28/06/2013, à 07:11
- Pierre771
Re : FF 22 : Global menu bar remplacé par about:config
Pierre771 merci pour l'information ! Ce soucis me prenait la tête depuis quelques jours... Résolu
Je t'en prie.
Content de t'avoir été utile !
Bon WE
C'est trop injuste !
Mes configs
Asus X73S - Windows 10 famille 64 bits + Manjaro KDE - Intel core i5 2,4 Ghz - Intel Graphics 3000 + GEFORCE GT 540M (Optimus) - 600 Go + 600 Go - RAM 10 Go - Ecran 1600x900
Hors ligne