Pages : 1
#1 Le 07/08/2013, à 21:05
- Compte anonymisé
Firefox 23
Bonjour !
Est-ce que quelqu'un ici aurait remarqué la même petite originalité depuis Firefox 23 .
Le menu "Outils" de la barre du navigateur a été rebaptisée "Outils de développement" ?
Bonne soirée !
#2 Le 07/08/2013, à 22:29
- Vu
Re : Firefox 23
Bonjour,
Il semble que cela soit une coquille de trad: http://forums.mozfr.org/viewtopic.php?p=735721#p735721
Ubuntu 12.04
Hors ligne
#3 Le 07/08/2013, à 22:31
- Gerardll51
Re : Firefox 23
Bonjour,
Oui et le souci quand on a un Eeepc de chez Asus avec un écran 10" c'est qu'on ne voit plus tout le menu!
Je vois Marque-pa pour Marque-pages et Outils de d pour Outils de Développement.
Et avec Unity on est obligé d'avoir la barre de menu. Sur KDE par exemple on peut l'enlever et ne laisser qu'un bouton à gauche pour les menus.
Mais bon, ça va quand même. 
Asus Eeepc Séries 1015CX, Intel® Atom™ CPU N2600 @ 1.60GHz × 4, OS 32 bits Ubuntu 18.04.2 LTS, carte graphique : Gallium 0.4 on llvmpipe (LLVM 3.8, 128 bits)), DD 311 et 2 Gio de RAM. Xfce 4.12.3
+ Ubuntu 20.04.1 LTS (Focal Fossa), Intel® Core™2 Duo CPU E8400 @ 3.00GHz, 4 Go RAM, GeForce GTX 570, Gnome 3.36.4
+ Mageia 7, Intel Core i5-9600KF, GeForce GTX 1050 Ti, 16 Go RAM, Gnome 3.36.4
Hors ligne
#4 Le 07/08/2013, à 22:33
- Phildu59
Re : Firefox 23
Oui et en plus le bouton pour activer/désactiver javascript a été supprimé. on est obligé de taper "about:config" dans la barre d'adresses et modifier la variable booléenne pour le même résultat.
Hors ligne
#5 Le 11/08/2013, à 22:20
- dd
Re : Firefox 23
Bonjour,
Es-ce qu'il y a une variable dans about:config pour ne pas afficher par défaut la barre d'onglet car sur un petit écran ce n'est pas top.
Merci
OS: Ubuntu 20.04 focal / Kernel: x86_64 Linux 5.8.0-63-generic
Shell: bash 5.0.17 / DE: GNOME 3.36.5
CPU: Intel Core i3 540 @ 4x 3.067GHz
GPU: Intel Corporation Core Processor Integrated Graphics Controller (rev 18)
Hors ligne
#6 Le 11/08/2013, à 22:24
- Korak
Re : Firefox 23
Bonjour,
Est-ce que quelqu'un ici aurait remarqué la même petite originalité depuis Firefox 23 .
Le menu "Outils" de la barre du navigateur a été rebaptisée "Outils de développement" ?
Même constatation sur mon PC. Mais bon, ça ne me gène pas.
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
#7 Le 11/08/2013, à 22:49
- Ubuntu1988
Re : Firefox 23
Et disparition de la variable keyword.URL 
J'ai perdu ! :(
Hors ligne
#8 Le 12/08/2013, à 08:25
- JBF
Re : Firefox 23
Oui et en plus le bouton pour activer/désactiver javascript a été supprimé. on est obligé de taper "about:config" dans la barre d'adresses et modifier la variable booléenne pour le même résultat.
L'extension NoScript permet de faire cela bien plus finement, site par site.
JBF
LibreOffice : https://fr.libreoffice.org/ (téléchargement, documentation, FAQ, assistance, contribuer, ...)
Aide pour LibreOffice par la communauté francophone : https://ask.libreoffice.org/fr/
Hors ligne
#9 Le 12/08/2013, à 10:49
- Bob49
Re : Firefox 23
Salut
L'explication pour le menu "outils", par l'auteur de l'erreur : http://forums.mozfr.org/viewtopic.php?f … 35#p736069
********************************************************
Pour javaScript, cette case était devenue un tracas pour bien des utilisateurs lambdas qui oubliaient souvent qu'ils l'avaient décochée d'où la suppression de celle-ci...
Pour les personnes qui savent ce qu'elles font, javaScript peut être activé/ désactivé de différentes manières (déjà évoqué par JBF et Phildu59) :
_ Soit via about:config (si c'est occasionnel) et de double-cliquer sur la variable javascript.enabled pour changer sa valeur à la volée (true/false) afin d'activer ou pas le javascrit. Puis de faire F5 sur la page en question pour voir le rendu.
_ Soit à l'aide d'une extension.... : Aux choix... https://addons.mozilla.org/fr/firefox/s … pt&appver=
Perso, j'utilise NoScript qui bloque tout par défaut et Web Developer qui à pas mal d'outils.... Une autre extension qu à des bouton pour activer/désactiver certaines choses comme Javascript, c'est QuickJava....
*****************************************************
Et disparition de la variable keyword.URL
Elle n'a pas disparue sur les vieux profiles, mais c'est comme tel, vu qu'elle est devenue inutilisable...
Explications : http://forums.mozfr.org/viewtopic.php?f … 19#p736076
****************************************************
Est-ce qu'il y a une variable dans about:config pour ne pas afficher par défaut la barre d'onglet car sur un petit écran ce n'est pas top.
Diverses solutions possibles pour dépanner.... car l'option de ne pas avoir la barre d'onglet afficher lorsqu'il n'y à qu'une page d'affichée devrait faire son retour.
Extension proposée par Abraxas et il donne le bug ouvert de la demande pour le retour de cette option... Autre possibilité via userChrome.css proposée par Eckard... Tout dans ce fil : http://forums.mozfr.org/viewtopic.php?f=5&t=114098
(il y à Tab Mix Plus, mais si c'est pour simplement la barre d'onglet, elle est un peu complexe... 
)
Dernière modification par Bob49 (Le 14/08/2013, à 09:29)
L'Anjou vs l'Occitanie en France ;-)
.
La patience est une vertu qui consiste à bien supporter des inconvénients sans pour cela se détourner d'une fin poursuivie.
%NOINDEX%
Hors ligne