Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
doc:reseau:firefox [19/07/2018 09:35] smolski [Astuce] |
doc:reseau:firefox [20/08/2020 16:20] captnfab [Installation de la dernière version de Firefox publiée par Mozilla] |
||
---|---|---|---|
Ligne 74: | Ligne 74: | ||
Lancer Firefox directement depuis le terminal: | Lancer Firefox directement depuis le terminal: | ||
- | <code user>firefox-esr &</code> | + | <code user>firefox-esr</code> |
Ligne 121: | Ligne 121: | ||
===== Installation de la dernière version de Firefox publiée par Mozilla ===== | ===== Installation de la dernière version de Firefox publiée par Mozilla ===== | ||
- | Pour installer la dernière version de Firefox publiée par Mozilla sous Debian: [[doc:reseau:firefox-rr|Firefox (Rapid Release)]] | + | Pour installer la dernière version de Firefox publiée par Mozilla sous Debian: [[doc:reseau:firefox-standard|Firefox (Rapid Release)]] |
- | + | ||
- | Pour installer la dernière version de Firefox publiée par Mozilla sous Debian via un dépôts tiers: [[doc:systeme:apt:sources.list:depots-tiers#mozilla-firefox|Installer la dernière version de Firefox publié par Mozilla]] (obsolète depuis Debian 9 stretch) | + | |
Ligne 195: | Ligne 193: | ||
===== Astuce ===== | ===== Astuce ===== | ||
- | ==== Barres de défilement Firefox ==== | + | ==== Comment élargir les barres de défilement de Firefox ==== |
- | + | ||
- | Comment élargir les barres de défilement des navigateurs web Firefox et Chromium ? | + | |
J'ai cherché et j'ai trouvé un début de solution qu'il me fait plaisir de vous présenter. | J'ai cherché et j'ai trouvé un début de solution qu'il me fait plaisir de vous présenter. | ||
+ | - J'ai fermé Firefox. | ||
- J'ai navigué jusqu'à mon répertoire ~/.config/gtk-3.0 en tapant :<code user>cd ~/.config/gtk-3.0</code> | - J'ai navigué jusqu'à mon répertoire ~/.config/gtk-3.0 en tapant :<code user>cd ~/.config/gtk-3.0</code> | ||
- | - Puis j'ai créé et édité le fichier ''gtk.css'' en tapant :<code=root>nano gtk.css</code> | + | - Puis j'ai créé et édité le fichier ''gtk.css'' en tapant :<code root>nano gtk.css</code> |
- et en y éditant :<file css gtk.css> | - et en y éditant :<file css gtk.css> | ||
- | .scrollbar.vertical slider, scrollbar.vertical slider { min-width: 19px; } | ||
- | .scrollbar.horizontal slider, scrollbar.horizontal slider { min-height: 19px; } | + | scrollbar slider { background-color: gray; border: green solid 6px; border-radius: 0px; } |
- | </file> | + | |
- | - J'ai sauvegardé le fichier, fermer nano et j'ai redémarré mon système. | + | |
- | Cette solution devrait fonctionner pour Firefox 52.9.0 ESR, pour Firefox 60 et plus et pour d'autres applications qui utilisent les librairies GTK3. | + | scrollbar.vertical slider { min-width: 19px; min-height: 40px; } |
- | Le code CSS ci-haut configure les 2 barres de défilement: la verticale (à droite) et l'horizontale (en bas). \\ | + | scrollbar.horizontal slider { min-height: 19px; min-width: 40px; } |
- | 19px c'est peut-être pas assez pour certains (comme moi) et peut-être trop pour d'autres: c'est libre à vous de trouver la valeur qui vous convient. | + | |
- | Ce qui manque pour le moment à cette solution, c'est de ramener, de ressusciter les bouton-flèches (^ , v) de défilement fin qu'on voit normalement aux extrémités des barres | + | scrollbar slider:hover { background-color: #999; border: lime solid 6px; } |
- | de défilement. \\ | + | |
- | Si vous connaissez la réponse, alors ça m'intéresse de la connaître. | + | |
- | ==== Barres de défilement Chromium ==== | + | </file> |
+ | - J'ai sauvegardé le fichier avec <key>Ctrl+O</key>, j'ai fermé nano avec <key>Ctrl+X</key> et j'ai redémarré Firefox. | ||
- | Il faut d'abord télécharger et installer une extension pour permettre d'éditer une feuille de style utilisateur. | + | Cette solution devrait fonctionner pour Firefox 60.7.1 ESR, pour Firefox 67 et plus et pour plusieurs autres applications (par ex.: Atril, Evince, Pluma, BlueFish, etc) qui utilisent les librairies GTK3. |
- | + | ||
- | J'ai utilisé : | + | |
- | * [[https://chrome.google.com/webstore/search/stylus%20beta?hl=fr]] - Stylus (beta) version 1.4.16 | + | |
- | ou alors, dans la barre d'adresse de Chromium, on édite : | + | Le code CSS ci-haut configure les tailles minimales pour les 2 barres de défilement: la verticale (à droite) et l'horizontale (en bas). Ce code CSS ajoute une bordure verte de 6 pixels autour du bouton principal. Lors du survol du curseur au-dessus du bouton principal, la bordure du bouton principal de la barre de défilement et le bouton principal vont légèrement changer de couleurs (couleurs plus vives, moins sombres). \\ |
- | [[chrome://extensions/?id=apmmpaebfobifelkijhaljbmpcgbjbdo \\]] | + | |
- | et j'ai édité une feuille de style utilisateur (ébauche rapide, sans finesse) comme ceci : | + | J'ai vérifié que la solution ci-haut fonctionne correctement si/quand \\ |
- | <file css> | + | la propriété layout.scrollbar.side dans about:config [[http://kb.mozillazine.org/Layout.scrollbar.side#Possible_values_and_their_effects|Valeurs de Layout.scrollbar.side]] est \\ |
- | ::-webkit-scrollbar { height: 19px; width: 19px; } | + | 1 ou 3 pour les documents définis pour être rtl (right-to-left) et donc quand \\ |
+ | la barre de défilement vertical est supposée être à gauche. \\ | ||
+ | |||
+ | 19px ce n'est peut-être pas assez pour certains (comme moi) et peut-être trop pour d'autres: libre à vous de trouver la valeur qui vous convient. | ||
+ | |||
+ | Ce qui manque pour le moment à cette solution, c'est de ramener, de ressusciter les bouton-flèches (^ , v, <, >) de défilement fin qu'on voit normalement aux extrémités des barres de défilement. \\ | ||
+ | Si vous connaissez la réponse, alors ça m'intéresse de la connaître. | ||
- | ::-webkit-scrollbar-thumb { background-color: gray; } | + | Dernière modification: 24 juin 2019 |
- | ::-webkit-scrollbar-button { background-color: black; height: 21px; }</file> | + | ==== Firefox demande à chaque démarrage si l'on veut qu'il soit le navigateur par défaut ==== |
+ | A chaque démarrage Firefox demande pour qu'il soit le navigateur par défaut alors qu'il l'est déjà. \\ | ||
+ | Il est impossible de décocher la case dans les //Préférences// car elle est grisée. :-/ | ||
- | et ça réussit pour tous les sites (à ''S'applique à (URL)'', à droite, il faut laisser le champ texte vide). | + | Ceci est trés pénible et peut être résolu. 8-) |
- | Le code CSS ci-haut est rudimentaire. Il fonctionne sous Chromium 67. | + | - Entrer dans la barre d'adresse le terme suivent: //about:config// |
+ | - Valider en appuyant sur Entrer | ||
+ | - Accepter les risques | ||
+ | - Dans la barre de recherche, taper: //browser.shell.checkDefaultBrowser// | ||
+ | - Si la valeur est à //true// la mettre à //false// en double-cliquant sur la ligne | ||
+ | - Redémarrer Firefox et la question ne devrait plus être posée. | ||
- | Il y a beaucoup de possibilités de personnalisation et de stylisation possibles ici.\\ | + | Et voilà. :-) |
- | Je ne sais pas exactement ce que les autres propriétés font : | + | |
- | * ::-webkit-scrollbar-track , | + | |
- | * ::-webkit-scrollbar-track-piece , | + | |
- | * ::-webkit-scrollbar-corner , | + | |
- | * ::-webkit-resizer) | + | |
- | ou comment les configurer ou personnaliser. :-) | + | |
- | Si vous avez des idées là-dessus, alors ça m'intéresse de les connaître. | ||
==== Source du tuto sur le forum : ==== | ==== Source du tuto sur le forum : ==== |