Re: Waterfox augmenter la taille de la police de caractères

Publié par tignothe le 20/09/2018 23:52:45
Bonsoir,

Citation :
RGSOFT

....je crois qu'il y avait "adresse" dedans mais c'est possible que cela soit une ancienne extension ....


Aller, je tente une petite trouvaille Make Address bar Font Size Bigger N'est plus compatible avec le Renard Quantum.

Dernière version compatible, la 56..! ça remonte aux croisades..! Donc oublier.

Citation :
RGSOFT

Je viens d' installer l'extension "thème font & size changer" mais sa mise en œuvre n'est pas fort explicite


Mais si, mais si..!

Vu sur le site de l'extention, et traduit par Deepl:

Citation :


Il y a deux endroits où vous pouvez gérer la taille de police globale et la famille de polices de Firefox via Theme Font & Size Changer :

Bouton de la barre d'outils : Cliquez sur le bouton Theme Font & Size Changer pour ouvrir le panneau Theme Font & Size Changer settings.
Outils Option : Choisissez le menu Outils dans la barre de menu Firefox et cliquez sur l'option Changement de police et de taille de thème. Cela ouvrira le panneau de configuration du changeur de police et de taille de thème.

Paramètres du changeur de police et de taille de thème

Zoom :
Il s'agit d'une fonction de zoom global qui agrandit/zoome à la fois Firefox lui-même (y compris les boutons et les icônes) et le contenu des pages Web simultanément.
Les commandes de zoom pleine page par défaut de Firefox peuvent toujours être utilisées indépendamment.
--------------------------------
Police de caractères :
Modifie la famille de polices utilisée pour Firefox lui-même (pas les pages Web).
Les polices installées sur votre système sont affichées et peuvent être utilisées.
Aucune police n'est installée par Them Font & Size Changer
--------------------------------
Taille :
Modifie la taille de police utilisée pour Firefox lui-même (pas les pages Web).
--------------------------------
Style :
Change le style de police pour Firefox en Italique.
--------------------------------
Poids :
Change le poids de la police pour Firefox en gras.
--------------------------------
Couleur :
Modifie la couleur de la police pour Firefox.
--------------------------------
Couleur d'arrière-plan :
Modifie la couleur de fond des barres d'outils du haut.
--------------------------------
Menu contextuel :
Applique la sélection de couleur d'arrière-plan aux menus contextuels.

Theme Font & Size Changer vous permet également de modifier la taille de police globale et la famille de polices pour l'interface utilisateur dans Thunderbird et SeaMonkey.
UTILISATEURS de firefox:

Le bouton Theme Font & Size Changer est ajouté par défaut sur le côté droit de la barre d'outils de navigation. Vous pouvez le déplacer dans la barre d'outils de votre choix, y compris la barre d'état, en cliquant avec le bouton droit de la souris sur une barre d'outils, en sélectionnant Personnaliser et en faisant glisser l'icône vers la barre d'outils de votre choix.


Sinon encore un p'tit truc de blogzinet qui peut servir?

J'ai l'impression que c'est la seule extension qui puisse faire les modifications que tu souhaites; ça vaut peut être le coup de creuser le sujet?

Cette contribution était de : http://www.gratilog.net/xoops/newbb/viewtopic.php?forum=1&topic_id=15476&post_id=189073