Mozilla, GNU/Linux, le Libre (et les femmes ?)
Comme tous les logiciels libres, le navigateur Mozilla-Firefox peut être modifié par les utilisateurs. Voici quelques astuces faciles pour paramétrez Firefox à votre guise (ainsi que Mozilla devenu SeaMonkey).
Les astuces permettent de modifier rapidement des éléments de Firefox. La documentation existe bien mais qui prend la peine de lire ? Vous pouvez aller voir les pages du site Texturizer qui sont traduites en français.
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.
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 et de suivre les instructions détaillées données plus bas. Si besoin, lisez Écrire en texte simple.
En fait, certaines extensions pour Firefox sont des astuces transformées en petits programmes avec une interface graphique et intégrés au navigateur. Voyez Choix d'extensions 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.
userChrome.css
Pour modifier certains paramètres, un fichier au moins est nécessaire : userChrome.css
Si besoin, renommez le fichier userChrome-example.css
, présent dans le répertoire du profil appelé «chrome», en userChrome.css
Le profil est expliqué dans Glo(u)ssaire III : 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).
about:config
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», 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
.
user.js
Il peut être utile de faire un fichier user.js
, 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 paramètres que vous avez choisis 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é.
Pour faire ce fichier, 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 celui de pref.js
.
userContent.css
Si vous avez besoin du fichier userContent.css, même emplacement, même procédure que pour userChrome.css
.
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 les signes /
et */
ou les lignes commençant par //
: ce sont des commentaires qui n'ont aucune incidence.
Lorsque vous avez ouvert plusieurs pages dans plusieurs onglets, il n'est pas facile de distinguer l'onglet actif des autres, c'est-à-dire la page que vous avez sous les yeux. Les couleurs sont ternes dans le thème de Fiferox par défaut. Vous pouvez 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; tabselected="true" background-color: rgb(222,218,210)!important; color: black!important;
Modifier la couleur de l'onglet normal :
/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.
Avec le charmant petit logiciel Gcolor2 (GNU/Linux), vous pouvez facilement choisir une couleur et son code hexadécimal. Il existait une extension pour Firefox, ColorZilla, mais elle ne fonctionne plus pour ce navigateur sous GNU/Linux. Si vous avez Seamonkey, vous pouvez utiliser Komposer (très mauvais éditeur HTML mais pour les couleurs, c'est pratique).
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 Gcolor2 et dans Komposer.
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 */ tabselected="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; tabselected="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 Seamonkey), 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) puis, dans le menu contextuel, choisir «Fermer l'onglet». Vous pouvez aller plus vite en appuyant sur les touches du clavier Ctrl+W.
Pour gagner de la place, il est possible de supprimer des menus inutiles -ce que devient, à la longue, le menu d'aide (ici Help). Cependant, ce menu peut être très utile dans Firefox ou Seamonkey pour savoir quelle version vous utilisez : voyez Installer Firefox 3.5 en paquet (Ubuntu Jaunty). C'est d'ailleurs valable pour tous les logiciels libres pour GNU/Linux, au moins.
Pour supprimer le menu d'aide parfois transcrit en français par le point d'interrogation, 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") */ menulabel="Go", menulabel="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, j'ai supprimé les menus «Go» et «Help».
Supprimez bien sûr le bout de code menulabel="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.
Cette partie est adaptée de la page «Customization» du site d'Arvid (quadrone.org) (c'est lui qui a fait les icônes et les 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 art4.
Les codes suivants sont à copier et coller dans userChrome.css
.
/Less toolbar button spacing */ toolbarbutton padding: 3px 4px 4px 3px!important; toolbarbutton:hover:active, toolbarbuttonopen="true", toolbarbuttonchecked="true" padding: 4px 3px 3px 4px!important; toolbarbuttondisabled="true", toolbarbuttondisabled="true":hover, toolbarbuttondisabled="true":hover:active, toolbarbuttondisabled="true"open="true" padding: 3px 4px 4px 3px!important; toolbarbuttontype="menu-button", toolbarbuttontype="menu-button":hover, toolbarbuttontype="menu-button":hover:active, toolbarbuttontype="menu-button"open="true", toolbarbuttontype="menu-button"disabled="true", toolbarbuttontype="menu-button"disabled="true":hover, toolbarbuttontype="menu-button"disabled="true":hover:active padding: 0!important;
Sentez-vous libres de diminuer les valeurs des pixels (px) des lignes commençant par padding
.
/Less bookmark button spacing */ .bookmark-item > .toolbarbutton-text margin: 0 1px!important;
Cette suppression apporte un gain de place appréciable sous M$Windows.
/Remove toolbar separators */ toolbar, menubar border-style: none!important
Voyez aussi une astuce complémentaire dans . Elle marche très bien mais, comme précisé plus haut, elle annule les astuces ci-dessus !
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.
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 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 art30.
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;
Il est possible de faire bien d'autres modifications dans les navigateurs Mozilla, en particulier :
Derniers commentaires