Les astuces permettent de modifier rapidement des éléments de Firefox. La documentation existe bien mais n’est pas encore traduite, semble-t-il — ah si, voir les pages du site Texturizer traduites en français.
Cela ne fait rien, je ne mets ici qu’une petite sélection. C’est vraiment simple, amusant et efficace et cela apprend aux débutants à manier l’informatique (en principe sous tous les OS). Ici ne sont présentées qu’un choix d’astuces qui peuvent être utiles.
Certaines modifications se font dans un fichier, ce qui est une bonne manière de se familiariser avec l’informatique. Il suffit de se munir d’un bon éditeur de texte (par exemple, NotePad2 ou Syn Text, logiciels libres, pour Windows, Gvim ou autre pour Linux, Smultron, logiciel libre, pour Mac OS X) et de suivre les instructions détaillées données plus bas.
En fait, certaines extensions sont des astuces transformées en petits programmes avec une interface graphique et intégrés au navigateur — voir Extensions et thèmes pour Firefox.
Ces astuces sont extraites principalement de Tips & Tricks pour Firefox sur mozilla.org. Les autres sources sont indiquées pour les astuces correspondantes.
Pour modifier certains paramètres, un fichier au moins est nécessaire :
— Renommez le fichier userChrome-example.css, présent dans le répertoire du profil appelé « chrome », en userChrome.css (bref, supprimez -example de son nom mais ne supprimez rien à l’intérieur du fichier).
— Le profil est expliqué dans Glo(u)ssaire II : Logiciels et fichiers.
NB : Lorsqu’on modifie ce fichier ou qu’on le copie dans le profil, le navigateur doit être fermé, ainsi que toutes ses fenêtres (celle d’une extension, par exemple).
Tapez about:config dans le champ de l’URL une fois le navigateur ouvert.
Il est possible de modifier un certain nombre d’éléments directement. Les modifications sont effectives sur le champ sans devoir fermer et relancer le navigateur. Vous pouvez ainsi tester vos modifications et les supprimer facilement.
Ces modifications, comme tous les paramètres que vous avez choisis dans les « Préférences » ou « Options », s’inscrivent dans le fichier prefs.js, présent dans le profil. Cette méthode permet de ne pas créer le fichier user.js.
Le fichier user.js
— À quoi sert-il ?
Il peut être utile de créer ce fichier pour pouvoir conserver des modifications. Il complète le fichier pref.js.
Si votre profil est supprimé, pour une raison ou pour une autre, vous perdez le fichier prefs.js et donc les astuces que vous avez choisies en passant par about:config.
Le fichier user.js est utile aussi si vous voulez partager vos paramètres spéciaux avec d’autres internautes — vous pouvez transmettre le fichier complet et l’utiliser sous différents OS. En revanche, le fichier prefs.js contient des informations qui ne concernent que votre configuration et ne peut donc pas être partagé tel quel, sans être modifié.
— Comment le créer et où le placer ?
Il suffit d’ouvrir un éditeur de texte et d’enregistrer un nouveau fichier (même vide) sous le nom user.js, dans le profil — dans le même répertoire que le fichier des marques-pages (bookmarks.html) et que celui de pref.js !
Si vous avez besoin du fichier userContent.css
- Même emplacement, même procédure que pour userChrome.css — ôter -example du nom du fichier livré par défaut.
- Pour copier les bouts de code indiqués dans les astuces, le plus sûr est de faire du « copier-coller ».
- Respectez bien la disposition du code (espaces, ponctuation et retours à la ligne) l’orthographe et les signes typographiques — la moindre erreur rend le fichier illisible par le navigateur et donc nul.
- Vous pouvez traduire ou adapter vous-même les lignes entre /* et */ ou les lignes commençant par // : ce sont des commentaires qui n’ont aucune incidence.
Onglets
Lorsque vous avez ouvert plusieurs pages dans plusieurs onglets, il n’est pas facile de distinguer l’onglet actif des autres (= la page que vous avez sous les yeux). Les couleurs sont ternes dans le thème de Fiferox par défaut. On peut choisir une couleur différente pour l’onglet en question.
- Pour rendre l’onglet actif plus visible, changez la couleur :
- Dans userChrome.css, copiez et collez tout ce qui suit :
/* Change color of active tab */
tab {
-moz-appearance: none !important;
}
tab[selected="true"] {
background-color: rgb(222,218,210) !important;
color: black !important;
}- Onglet normal : une autre couleur
/* Change color of normal tabs */
tab:not([selected="true"]) {
background-color: rgb(200,196,188) !important;
color: gray !important;
}- Pour les deux sortes d’onglets, vous voyez que vous pouvez mettre les couleurs qui vous plaisent : background-color, c’est la couleur de fond de l’onglet, et color la couleur du texte.
- Avec l’extension ColorZilla, vous pouvez facilement choisir une couleur et son code en cliquant sur la palette (Color Picker) — voir Site avec Mozilla-Firefox. Pour la Suite Mozilla, Composer est pratique si vous n’avez pas installé l’extension — voir La « Suite » Mozilla.
- Au lieu de rgb(222,218,210), vous pouvez utiliser une autre valeur, hexadécimale (exemple : #dcdad5, couleur gris-beige par défaut de l’onglet actif). Ces valeurs sont indiquées dans ColorZilla et dans la palette de Composer.
- Pour les couleurs suivantes, le nom en anglais suffit en principe : aqua, black, blue, fuchsia, gray, green, lime, maroon, navy, olive, purple, red, silver, teal, white, yellow, orange.
- Pour ne pas avoir le titre en gras sur l’onglet actif
- Ajoutez ce qui suit dans votre fichier userChrome.css :
/* Make the active tab not bold */
tab[selected="true"] {
font-weight: normal !important;
}
Vous pourriez aussi ajouter font-style: italic !important; sous la ligne font-weight....
- Si vous avez déjà copié l’astuce précédente il suffit de coller seulement font-weight: normal !important; au bon endroit pour obtenir ceci :
/* Change color of active tab */
tab{
-moz-appearance: none !important;
}
tab[selected="true"] {
background-color: rgb(222,218,210) !important;
color: black !important;
font-weight: normal !important;
}
/* Change color of normal tabs */
tab:not([selected="true"]) {
background-color: rgb(200,196,188) !important;
color: gray !important;
}- Pour supprimer le bouton de fermeture des onglets (tout à droite, rouge dans Firefox)
- Ajoutez ce qui suit dans votre fichier userChrome.css :
/* Remove the close button on the tab bar */
.tabs-closebutton {
display: none !important;
}- Ce bouton ressemble à ce qu’on trouve sur WinXP et je le trouve disgracieux. Dans le navigateur Mozilla c’est une croix blanche sur un fond gris. Vous pouvez le supprimer aussi bien sûr.
- Il est toujours possible de fermer des onglets en cliquant dessus (clic droit) et choisir « Fermer l’onglet » ou avec les touches Ctrl+W.
Suppression de menus
Pour gagner de la place, il est possible de supprimer des menus inutiles — ce que devient, à la longue, le menu d’aide (ici Help). Peut être très utile dans Firefox, voir Firefox à pleines voiles.
Ajoutez ce qui suit dans votre fichier userChrome.css :
/* Remove the Go and Help menus
(These are just examples. Try changing "Go" to "Edit" or "Bookmarks") */
menu[label="Go"], menu[label="Help"] {
display: none !important;
}
Adaptez à votre version de Firefox selon la langue (les mots entre guillemets doivent correspondre aux noms des menus dans votre navigateur). Ici, on supprime les menus Go et Help — supprimez bien sûr le code menu[label="Go"], si vous voulez juste supprimer le menu d’aide. Le menu « Aller » (Go) est un peu superflu car l’historique vous permet de retrouver bien plus de pages, et les commandes back et forward sont plus pratiques sous leur forme d’icônes : flèche retour, flèche avant.
Gain de place dans les barres d’outils
Cette partie est adaptée de la page Customization du site d’Arvid (quadrone.org) (créateur d’icônes et des thèmes par défaut de Firefox et de Thunderbird).
NB : Les codes suivants ne sont pas pertinents pour la suite SeaMonkey et n’ont aucun effet dans Firefox si vous avez déplacé votre barre de marque-pages sur la barre des menus — voir cette astuce dans Firefox à pleines voiles.
Les codes suivants sont à copier et coller dans userChrome.css.
- Réduction de l’espace pris par les icônes et les boutons dans les barres d’outils :
/* Less toolbar button spacing */
toolbarbutton {
padding: 3px 4px 4px 3px !important;
}
toolbarbutton:hover:active,
toolbarbutton[open="true"],
toolbarbutton[checked="true"] {
padding: 4px 3px 3px 4px !important;
}
toolbarbutton[disabled="true"],
toolbarbutton[disabled="true"]:hover,
toolbarbutton[disabled="true"]:hover:active,
toolbarbutton[disabled="true"][open="true"] {
padding: 3px 4px 4px 3px !important;
}
toolbarbutton[type="menu-button"],
toolbarbutton[type="menu-button"]:hover,
toolbarbutton[type="menu-button"]:hover:active,
toolbarbutton[type="menu-button"][open="true"],
toolbarbutton[type="menu-button"][disabled="true"],
toolbarbutton[type="menu-button"][disabled="true"]:hover,
toolbarbutton[type="menu-button"][disabled="true"]:hover:active {
padding: 0 !important;
}- Sentez-vous libres de diminuer les valeurs des px (pixels) des lignes commençant par padding.
- Réduction de l’espace occupé par les icônes et les boutons sur la barre des marque-pages :
/* Less bookmark button spacing */
.bookmark-item > .toolbarbutton-text {
margin: 0 1px !important;
}- Suppression des lignes qui séparent les barres d’outils — vraiment bien sous Windows :
/* Remove toolbar separators */
toolbar, menubar {border-style: none !important}- Voir aussi une astuce complémentaire dans Firefox à pleines voiles — elle marche très bien mais, comme précisé plus haut, elle annule les astuces ci-dessus !
Changement d’icônes pour les fenêtres
Sous Win98SE, l’icône dans la fenêtre principale de Firefox 1.0 était celle de Windows :-\. Comme Mozilla (Firefox et Thunderbird) n’existera bientôt plus pour Windows98 car cet OS n’est plus entretenu par M$, je laisse donc tomber les instructions pour cet OS. Sous Windows XP, on dirait que vous avez une jolie icône, donc je n’insiste pas.
Sous Linux, si vous mis à jour ou installé votre Firefox par paquet Debian ou Ubuntu (voir Installer des logiciels sous forme de « paquets »), l’icône est celle de Deer Park, nom du code de Firefox (globe dans les tons bleus sans trace du « renard »).
Si vous avez installé Firefox depuis les fichiers binaires du site de Mozilla.com (voir Installer des fichiers binaires), l’icône est celle qui nous est familière mais vous pouvez toujours en changer.
— Où est l’icône ?
- Si vous avez installé votre Firefox en paquet, votre répertoire sera :
/usr/lib/firefox/
ou parfois :
/usr/lib/mozilla-firefox/
- Si vous avez installé Firefox depuis le fichier binaire, votre répertoire Firefox peut être :
/usr/local/firefox/
ou
/opt/firefox/
- Depuis au moins Firefox 1.5 le répertoire suivant existe :
/usr/local/firefox/chrome/icons/default/
- Copiez l’icône de votre choix dans ce répertoire, en lui donnant le nom « default.xpm » :
# mv votreiconefirefox.xpm /usr/lib/firefox/chrome/icons/default/default.xpm
— Cette commande revient à copier le fichier en le renommant (d’une pierre deux coups). Vous effacez aussi l’icône moche présente par défaut (d’une pierre trois coups).
— Cette nouvelle icône sera visible sur toutes les fenêtres de Firefox. Comme elle est jolie, autant la garder partout.
- Si vous voulez des icônes différentes pour différentes fenêtres de Firefox (fenêtre du navigateur, fenêtre des marques-pages, etc.) vous pouvez essayer ceci (je n’ai pas essayé dans Firefox 1.5) :
- Copiez l’icône de votre choix dans le répertoire ../default en la renommant : main-window.xpm
- De la même façon, vous pouvez changer l’icône de la fenêtre des marques-pages (qui s’ouvre dans le menu « Marques-pages » > « Gérer les marque-pages ») en renommant l’icône choisie bookmark-window suivie de l’extension .xpm.
- Pour Mac, à adapter ? (mais elles sont jolies, par défaut)
- Pour changer les icônes de la barre de navigation par exemple, c’est tout à fait différent : il faut savoir modifier un thème. Pour quelques pistes, voir Extensions et thèmes pour Firefox.
Placer la barre latérale à droite
Pour afficher à droite, plutôt qu’à gauche, la barre latérale dans laquelle on peut voir l’historique (sites visités récemment) ou les marque-pages, ajoutez ces lignes dans userChrome.css :
/* Place the sidebar on the right edge of the window */
window > hbox {
direction:rtl;
}
window > hbox > * {
direction:ltr;
}
Navigation : onglets et fenêtres
— C’est dans « Options » ou « Préférences » > « Onglets »
- ouverture des liens dans onglets ou fenêtres,
- ou pour empêcher tout lien de s’ouvrir dans une nouvelle fenêtre.
Personnellement, je préfère ouvrir une page dans un nouvel onglet que dans une nouvelle fenêtre (plus léger). C’est aussi un pied de nez aux webmestres qui dictent leur volonté aux internautes (ouvrir une nouvelle fenêtre obligatoirement) — en utilisant le code HTML target=blank ou même ce truc dit « illégal » target="_new" — la liberté reste de mise...
— Pour n’ouvrir que des onglets en cliquant sur des liens :
- Cochez les lignes commençant par « ouvrir un nouvel onglet dans une fenêtre déjà ouverte » (ou quelque chose comme ça)
- Cochez la ligne commençant par « Forcer les liens »
- Cochez enfin la ligne commençant par « ouvrir un nouvel onglet »
— Voici une image sur laquelle vous pouvez cliquer pour l’agrandir. Elle vous montre les paramètres choisis (le texte est en anglais cartout est en anglais chez moi dans Xubuntu mais avec les explications données et la position des boutons et des cases, vous devriez pouvoir vous y retrouver).
Paramètres pour les onglets dans les préférences de Firefox
Copie d’écran faite avec the GIMP
— Vous pouvez aussi paramétrer Firefox de façon à ce qu’un clic sur un lien charge le nouvel onglet en arrière-plan. Ceci pour pour permettre de continuer de voir la page actuelle pendant que la nouvelle page se charge.
- Dans about:config passez à true la ligne suivante (comme indiqué plus haut) :
browser.tabs.loadInBackground
- Ou dans user.js, copiez ceci :
// Loading tab in background:
user_pref("browser.tabs.loadInBackground", true);
— Vous pouvez aussi empêcher tout lien de s’ouvrir dans une nouvelle fenêtre (malgré les paramères ci-dessus il arrive qu’une nouvelle fenêtre s’ouvre) :
- Dans about:config modifiez la valeur de la ligne suivante :
browser.link.open_newwindow
- Clic droit sur la ligne,
- Choisissez dans le menu « Modifier la valeur »
- Tapez 3 sur le chiffre sélectionné, ce qui le remplace
- Ou dans user.js, copiez ceci :
// Toujours ouvrir un onglet:
user_pref("browser.link.open_newwindow", 3);
— Pour trouver cette ligne rapidement tapez, dans le champ filtre de la page « about :config », le mot suivant : window. Vous verrez que les 2 lignes qui suivent semblent aller dans le même sens mais la modification de ligne que j’ai indiquée semble suffir et ua moins cela marche sans incident.
Navigation plus rapide : précautions !
Pipelining est une option qui remporte un vif succès. Elle existe en fait depuis longtemps dans les navigateurs Mozilla et SeaMonkey où elle est directement accessible dans les « Préférences ».
Elle ne fonctionne pas obligatoirement avec tous les serveurs ni avec tous les proxies. Elle paraît assez superflue pour le haut-débit. Si vous fixez le maximum de requêtes à 30 ou à 100 (dernière ligne), comme le préconisent certains, vous risquez de bloquer votre connexion bas-débit ou avec le haut-débit de boucher la voie aux sites que vous visitez pour les autres internautes — le Web devrait rester un lieu de partage, accessible à tous.
- Dans Firefox vous pouvez changer les paramètres directement dans about:config (voir « Préliminaires ») :
- Pour trouver les lignes en question, tapez pipe dans le champ « Filtre » et elles s’afficheront :
| network.http.pipelining | false |
| network.http.proxy.pipelining | false |
| network.http.pipelining.maxrequests | 4 |
- Clic droit sur la 1ere ligne, dans le menu click gauche sur toggle (= « inverser ») pour changer false en true. Ou double-clic sur la ligne pour inverser la valeur (« vrai » ou « faux ») Même chose pour la seconde ligne (si vous utilisez un proxy).
- Pour la troisième ligne, clic droit, choisir « Modifier » et tapez 8 au lieu de 4.
- Vous devez avoir :
| network.http.pipelining | true |
| network.http.proxy.pipelining | true ou false |
| network.http.pipelining.maxrequests | 8 |
Essayez avec le chiffre 30 ou même 100.
Si ce n’est pas concluant, revenez à false et à 4.
- Si vous utilisez user.js, copiez ceci :
// Enable pipelining:
user_pref("network.http.pipelining", true);
user_pref("network.http.proxy.pipelining", true);
user_pref("network.http.pipelining.maxrequests", 8);
Les mots précédés de // sont des commentaires sans incidence sur le code. Adaptez le chiffre à votre convenance.
Si ces paramètres ne conviennent pas, effacez tout ou remplacez true par false et le chiffre par 4.
Suppression des textes qui clignotent
- Dans about:config passez à false la ligne suivante (comme indiqué plus haut) :
browser.blink_allowed
Voici un exemple où un changement dans about:config est très pratique. Vous pouvez tester ce paramètre et si les textes qui clignotent vous manquent, vous pouvez les restaurer d’un coup de clic et sans fermer le navigateur. C’est donc bien plus rapide qu’en modifiant user.js.
// Put an end to blinking text!
user_pref("browser.blink_allowed", false);
Suppression des marquees mais pas du contenu
marquee : défilement de texte sur l’écran.
Cette astuce est extraite de « Customizing Mozilla » et non de « Tips and Tricks ».
Ce code à coller dans le fichier userContent.Css (répertoire ou dossier chrome, comme userChrome.css) n’empêche pas l’affichage du texte, mais seulement son défilement.
/* Disable marquee display */
marquee {
-moz-binding: none; display: block; height: auto !important;
}
Comparez avec l’astuce marquee pour Camino Camino, navigateur pour Mac OS X
Pour rendre presque transparentes les bannières de pub
Voici une bonne astuce extraite de la « Foire aux astuces » [(FAQ/Astuces) de Pascal Chevrelsur chevrel.org : « Comment opacifier la plupart des bannières publicitaires ? », elle-même reprise par P. Chevrel « sur la liste “CSS-Discuss” par un certain Jan ».
C’est moins radical qu’Ablock : vous voyez encore la pub et l’affichage est raffiné : opacité 10%, cadre de pointillés rouge autour des bannières et au survol de souris, elles réapparaissent — mazette, c’est à essayer !
- Copier le code suivant dans le fichier userContent.css (j’ai rajouté les commentaires entre /* et */) :
/* Rendre les pubs quasi transparentes*/
[src*="ads."], [src*="ads/"],
[src*="doubleclick"],
[href*="doubleclick."] *,
[href*="rd.yahoo.com"] [src*="yimg.com"],
[width="60"][height="468"],
[width="468"][height="60"],
[width="120"][height="600"]
{
-moz-outline: thin dotted red;
-moz-opacity: 0.1;
}
[src*="ads."]:hover, [src*="ads/"]:hover,
[src*="doubleclick"]:hover,
[href*=".doubleclick."] *:hover,
[href*="rd.yahoo.com"] [src*="yimg.com"]:hover,
[width="60"][height="468"]:hover,
[width="468"][height="60"]:hover,
[width="120"][height="600"]:hover
{
-moz-outline: thin dashed red;
-moz-opacity: 1;
}- Il faudrait sans doute comparer la liste des sites à pub indiqués dans cette astuce avec celle de la page spéciale « Ad Blocking » sur gozer.org et en fait insérer l’astuce de transparence, d’encadrement et de réapparition dans la page de gozer.org (bref, tout ce qui concerne les CSS) et copier le tout dans userContent.css. Sans oublier, sans doute, d’adapter la liste des sites qui sont ici anglophones à vos propres besoins...
Limiter Mozilla-Firefox à certains sites
Astuce décrite pour Firefox par Andrew Mutch, « Limiting Web Access »
- Dans les « Préférences » ou les « Options » > « Général » > panneau central, en bas : « Connection » > Configuration des proxies.
- Cliquez sur le bouton-radio devant la ligne « Configuration manuelle des proxies »
- Dans le champ HTTP Proxy, tapez une ligne du genre « Cet ordinateur est limité à certains sites » — cette phrase ne s’affiche peut-être pas dans la fenêtre du navigateur (à vérifier) mais elle active l’option proxy (elle interdit donc l’accès aux sites non autorisés).
- Dans le champ à côté, à droite, « Port », tapez le chiffre 80.
- Dans le champ SSL proxy, tapez la même ligne qu’au-dessus et dans le champ « Port » tapez le chiffre 443.
- Dans le champ plus bas « Pas de proxy pour », tapez des noms de domaines des sites autorisés, séparés par des virgules. Exemple :
mozilla.org, gov, gouv, edu, univ
Ne pas utiliser de caractère joker (= wild card character) comme *.
Certaines des astuces indiquées dans les pages Web sont obsolètes. Certaines de celles que j’ai extraites ici le seront sans doute un jour prochain.
N’hésitez pas à fouiner dans Preferentials sur preferential.mozdev.org, page de référence des préférences « cachées » des Mozilla — c’est-à-dire, celles qui ne figurent pas dans « Préférences » / « Options ».
