2 votes

SQL3D avatar

Problème d'augmentation de la taille des polices de Firefox et de l'interface utilisateur

Demandé el 13 de Juin, 2021
Quand la question a-t-elle été
586 affichage
Nombre de visites la question a
2 Réponses
Nombre de réponses aux questions
Résolu
Situation réelle de la question

J'ai essayé d'augmenter la taille de la police de l'interface utilisateur de Firefox en paramétrant l'option layout.css.devPixelsPerPx Cela fonctionne comme prévu jusqu'à ce que je ferme le navigateur et que je le rouvre à nouveau. Alors que les éléments eux-mêmes semblent conserver leur taille précédente, la police de caractères rétrécit. Les captures d'écran ci-dessous montrent clairement que, dans la fenêtre rouverte, la police à l'intérieur des onglets est plus petite.

Firefox lorsque l'option est juste définie :

after just setting layout.css.devPixelsPerPx>1

Firefox après réouverture : after reopening

Est-il possible de rendre permanente l'augmentation de la taille des caractères ?

J'utilise Arch Linux et Firefox 89.0.

Merci :)

Demandé el 13 de Juin, 2021 par SQL3D

Réponses

Trop de publicités?

1voto

harrymc avatar
harrymc Points 394411

Si le about:config la mise en place d'un layout.css.devPixelsPerPx persiste, mais n'a pas d'effet après le redémarrage, il s'agit probablement d'un bogue dans Firefox.

Avant de signaler le bogue, essayez de désactiver toutes les extensions dans la rubrique about:addons , pour voir si cela est dû à une mauvaise extension. Voir aussi Comment désinstaller ou désactiver des extensions dans Mozilla Firefox .

Sinon, en attendant que les développeurs de Firefox corrigent le bug, vous pouvez essayer d'utiliser userChrome.css . Pour activer userChrome.css y userContent.css Vous devez définir dans about:config les éléments suivants :
toolkit.legacyUserProfileCustomizations.stylesheets = true .
Voir aussi Comment créer un fichier userChrome.css ? .

Essayez d'ajouter ceci au fichier, en l'adaptant à vos besoins :

/* global font */
* {
  font-family: DejaVu, sans-serif !important;
  font-size: 13pt !important;
}

Plus d'informations dans l'article Firefox/Tweaks .

Vous pouvez également essayer la correction globale de l'interface utilisateur, plus complète, sur Github : Firefox-UI-Fix .

Répondu el 21 de Juin, 2021 par harrymc (394411 Points )

0voto

dmcgill50 avatar
dmcgill50 Points 990

Il est préférable d'exécuter du javascript dans la console après avoir fermé Firefox jusqu'à ce que le bug soit corrigé.

  1. Ouvrir la console du navigateur ( https://developer.mozilla.org/en-US/docs/Tools/Browser_Console#Opening_the_Browser_Console )
  2. Sur la ligne de commande ( https://developer.mozilla.org/en-US/docs/Tools/Browser_Console#Browser_Console_command_line ):

Pour régler le zoom global (mettez ce que vous voulez à la place de 1,33), entrez : FullZoom._cps2.setGlobal(FullZoom.name,1.33,gBrowser.selectedBrowser.loadContext); Pour réinitialiser (retour à 1), entrez : FullZoom._cps2.removeGlobal(FullZoom.name,gBrowser.selectedBrowser.loadContext);

source

Répondu el 25 de Juin, 2021 par dmcgill50 (990 Points )

Questions en vedette

Top Tags

Dans notre réseau

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X