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 | ||
doc:reseau:firefox:interface [27/06/2018 15:03] smolski [Introduction] |
doc:reseau:firefox:interface [27/06/2018 15:20] (Version actuelle) smolski [Firefox ESR - Modifier l'interface] |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | ====== Modifier la taille générale de l'interface de Firefox ESR ====== | + | ====== Firefox ESR - Modifier l'interface ====== |
* Objet : Modifier la taille générale de l'interface de Firefox ESR via about:config | * Objet : Modifier la taille générale de l'interface de Firefox ESR via about:config | ||
- | * Niveau requis : Débutant | + | * Niveau requis : {{tag>débutant}} |
* Commentaires : Ce tuto s'adresse à ceux pour qui l'interface Firefox ESR est trop petite et difficilement lisible. En quelques manipulations, voici comment agrandir __l'interface générale__ de Firefox ESR. | * Commentaires : Ce tuto s'adresse à ceux pour qui l'interface Firefox ESR est trop petite et difficilement lisible. En quelques manipulations, voici comment agrandir __l'interface générale__ de Firefox ESR. | ||
* Création par [[user>Scorpiux]] 27/06/2018 | * Création par [[user>Scorpiux]] 27/06/2018 | ||
Ligne 17: | Ligne 17: | ||
* Se rendre dans les préférences Firefox et modifier la taille minimale de la police. Cette solution pose problème, dès lors que le changement de la taille minimale de la police peut être amené à casser la mise en page de certains sites. | * Se rendre dans les préférences Firefox et modifier la taille minimale de la police. Cette solution pose problème, dès lors que le changement de la taille minimale de la police peut être amené à casser la mise en page de certains sites. | ||
- | **Ces deux solutions, outre un confort déjà gagné, ne permettent pas d'améliorer la taille générale de l'interface de Firefox, à savoir : les onglets, la barre de tâche, les icônes, etc. | + | Ces deux solutions, outre un confort déjà gagné, ne permettent pas d'améliorer la taille générale de l'interface de Firefox, à savoir : |
+ | * les onglets, | ||
+ | * la barre de tâche, | ||
+ | * les icônes, etc. | ||
- | La solution qui suit permet de remédier à ce problème, tout en conservant la mise en page des sites sans que ces derniers en soient altérés.** | + | La solution qui suit permet de remédier à ce problème, **tout en conservant la mise en page des sites** sans que ces derniers en soient altérés. |
===== Utilisation ===== | ===== Utilisation ===== | ||
- | * Dans la barre d'adresse Firefox, taper : **about:config** | + | - Dans la barre d'adresse Firefox, taper : **about:config** |
- | * Un message d'alerte s'affiche, cliquez sur "//Je prends le risque//". | + | - Un message d'alerte s'affiche, cliquez sur "//Je prends le risque//". |
- | * Tapez dans la barre de recherche : **layout.css.devPixelsPerPx** | + | - Tapez dans la barre de recherche : **layout.css.devPixelsPerPx** |
- | * Appuyez sur "//Entrée//" | + | - Appuyez sur "//Entrée//" |
- | * Un clic droit sur le nom de l'option qui s'affiche et "//Modifier//" ou double-cliquez directement sur le nom de l'option. | + | - Un clic droit sur le nom de l'option qui s'affiche et "//Modifier//" ou double-cliquez directement sur le nom de l'option. |
- | * Modifier la valeur en commençant par 1.5 et ajustez légèrement plus ou moins en fonction de vos attentes. | + | - Modifier la valeur en commençant par 1.5 et ajustez légèrement plus ou moins en fonction de vos attentes. |
<note important>Ne mettez pas directement une valeur trop haute, au risque de ne plus avoir le contrôle de la situation par la suite, et ne pas pouvoir revenir en arrière.</note> | <note important>Ne mettez pas directement une valeur trop haute, au risque de ne plus avoir le contrôle de la situation par la suite, et ne pas pouvoir revenir en arrière.</note> | ||