Bienvenue invité. SVP enregistrez vous pour être membre.
:: Connexion
Identifiant :

Mot de passe :

Se souvenir de moi



Mot de passe perdu ?

Inscrivez-vous !
:: Recherche
:: Menu Principal

Parcourir ce sujet:   1 Utilisateur(s) anonyme(s)





Waterfox augmenter la taille de la police de caractères
Expert
Inscrit:
14/12/2012 17:21
Groupe:
Utilisateurs enregistrés
Post(s): 1256
Hors Ligne
Bonjour à tous,

je cherche une extension permettant d' augmenter la taille de la police des polices dans la barre d’adresse de Firefox, la barre d’onglets et la barre d’état.


D'avance merci.

RGSOFT

Contribution le : 17/09/2018 10:50
Créer un fichier PDF de la contribution Imprimer


Re: Waterfox augmenter la taille de la police de caractères
Pro
Inscrit:
06/06/2009 15:22
Groupe:
Utilisateurs enregistrés
Post(s): 890
Hors Ligne
Bonjour,

Citation :
RGSOFT

je cherche une extension permettant d' augmenter la taille de la police des polices dans la barre d’adresse de Firefox, la barre d’onglets et la barre d’état.


Theme Font & Size Changer. Devrait faire l'affaire?

Je n'ai pas essayé, donc pas de point de vue sur le sujet.

Contribution le : 17/09/2018 19:00
_________________
Linux Mint 21.3 Cinnamon
Créer un fichier PDF de la contribution Imprimer


Re: Waterfox augmenter la taille de la police de caractères
Pro
Inscrit:
06/06/2009 15:22
Groupe:
Utilisateurs enregistrés
Post(s): 890
Hors Ligne
Bonsoir,

Bon, en fin de compte, ça donne quoi cette transformation de la taille « de la police des polices » chez Firefox ,..heeuu non! Waterfox. Enfin bref! Chez les Fox!

Pas bien de ne pas nous tenir au chaud sur ce coup! d'autant plus que ça m'refroidi sévère pour de prochaines éventuelles recherches..? À supposé que ?

Sinon, il reste la solution artisanale dite "bricolage du fichier userchrome.css". En dernier recours je te fourni le lien du dernier espoir avant de casser la machine;

http://blogzinet.free.fr/index.php?20 ... arre-d-adresse-de-firefox

Une vieille combine de 2009. Avant hier en fin de compte!

Contribution le : 19/09/2018 23:00
_________________
Linux Mint 21.3 Cinnamon
Créer un fichier PDF de la contribution Imprimer


Re: Waterfox augmenter la taille de la police de caractères
Expert
Inscrit:
14/12/2012 17:21
Groupe:
Utilisateurs enregistrés
Post(s): 1256
Hors Ligne
Bonjour Tignothe,

Tout d'abord , merci pour tes réponses.

Tignothe a écrit : Pas bien de ne pas nous tenir au chaud sur ce coup!

Je n'ai pas pu te répondre car comme on dit : j'avais beaucoup de casseroles sur le feu.

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

De ce fait, je vais me tourner vers ta 2eme solution.J'utilisais précèdemment une petite extension fox qui me satisfaisait mais impossible de remettre la main dessus.

RGSOFT

Contribution le : 20/09/2018 09:15
Créer un fichier PDF de la contribution Imprimer


Re: Waterfox augmenter la taille de la police de caractères
Expert
Inscrit:
21/06/2014 02:56
De Rive-Sud de Montréal, Canada
Groupe:
Utilisateurs enregistrés
Post(s): 1555
Hors Ligne
Citation :

RGSOFT a écrit:
J'utilisais précèdemment une petite extension fox qui me satisfaisait mais impossible de remettre la main dessus.


Laquelle? Je l'ai peut-être dans mes logiciels de dépannage. Je sauvegarde toutes les extensions de Firefox que j'ai installé ou en cas de besoin.

Contribution le : 20/09/2018 11:07
_________________
Windows 10 Pro 64-bit (2 tours + 1 portable)
Créer un fichier PDF de la contribution Imprimer


Re: Waterfox augmenter la taille de la police de caractères
Expert
Inscrit:
14/12/2012 17:21
Groupe:
Utilisateurs enregistrés
Post(s): 1256
Hors Ligne
Bonsoir Washington,

Merci pour ton intervention, mais j'ai oublié son mon, je crois qu'il y avait "adresse" dedans mais c'est possible que cela soit une ancienne extension qui n'est plus maintenant compatible avec firefox ou waterfox.
Je vais essayer de la retrouver et je mettrai une réponse.

Bonne soirée

RGSOFT

Contribution le : 20/09/2018 18:45
Créer un fichier PDF de la contribution Imprimer


Re: Waterfox augmenter la taille de la police de caractères
Aspirant
Inscrit:
04/07/2016 15:43
De France
Groupe:
Utilisateurs enregistrés
Post(s): 50
Hors Ligne
N'y a t'il pas moyen de modifier la police et sa taille dans les paramètres, comme le fait firefox ?

Contribution le : 20/09/2018 19:50
_________________
MSI GT70 2PC Dominator
Intel Core i7-4800MQ Quad-Core 2.7 GHz
NVIDIA GeForce GTX 870M
Windows 7
Créer un fichier PDF de la contribution Imprimer


Re: Waterfox augmenter la taille de la police de caractères
Pro
Inscrit:
06/06/2009 15:22
Groupe:
Utilisateurs enregistrés
Post(s): 890
Hors Ligne
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?

Contribution le : 20/09/2018 23:52
_________________
Linux Mint 21.3 Cinnamon
Créer un fichier PDF de la contribution Imprimer


Re: Waterfox augmenter la taille de la police de caractères
Expert
Inscrit:
14/12/2012 17:21
Groupe:
Utilisateurs enregistrés
Post(s): 1256
Hors Ligne
Bonjour Tignothe,

Encore merci pour cette réponse très exhaustive.

Bingo ! pour l'extension oubliée c'était bien : Make Address bar Font Size Bigger


J'ai réinstallé l'extension Theme Font & Size Change mais je n'arrive pas au "settings" pour le size ou je suis bouché !

Voici ce qu'il s'affiche en cliquant sur l'icône de l'extension de la barre d'outils

here ⇒ retour au webstore

et Theme Font & Size Changer Survey ⇒ demande une adresse mail.

il y a bien un "setting" pour la couleur mais je ne vois pas pour le "size".

Puis on nous dit : Choisissez le menu Outils dans la barre de menu Firefox et cliquez sur l'option Changement de police et de taille de thème
mais cette option n'est pas affichée.

RGSOFT

Fichier(s) attaché(s):



jpg  Image 1.jpg (302.24 KB)
37205_5ba4ea023a903.jpg 1267X752 px

Contribution le : 21/09/2018 11:43
Créer un fichier PDF de la contribution Imprimer


Re: Waterfox augmenter la taille de la police de caractères
Expert
Inscrit:
21/06/2014 02:56
De Rive-Sud de Montréal, Canada
Groupe:
Utilisateurs enregistrés
Post(s): 1555
Hors Ligne
Désolé RGSOFT, je n'ai pas cette extension.

Bonne chance!

Contribution le : 21/09/2018 12:16
_________________
Windows 10 Pro 64-bit (2 tours + 1 portable)
Créer un fichier PDF de la contribution Imprimer



 Haut   Précédent   Suivant




Enregistrer votre réponse
Compte*
Nom   Mot de passe    
Message:*


Vous ne pouvez pas débuter de nouveaux sujets.
Vous pouvez voir les sujets.
Vous ne pouvez pas répondre aux contributions.
Vous ne pouvez pas éditer vos contributions.
Vous ne pouvez pas effacez vos contributions.
Vous ne pouvez pas ajouter de nouveaux sondages.
Vous ne pouvez pas voter en sondage.
Vous ne pouvez pas attacher des fichiers à vos contributions.
Vous ne pouvez pas poster sans approbation.

[Recherche avancée]