web-dev-qa-db-fra.com

Comment changer la taille de la police du débogueur Firefox

C'est trop petit pour lire.

Le rapport de bogue est https://bugzilla.mozilla.org/show_bug.cgi?id=143119

Remarquez: il ne s'agit pas de Firebug.

firefoxfontsdebugging
3
int_ua

Dans Firefox 27, Codemirror est maintenant déployé en tant qu'éditeur de code par défaut:

Codemirror

Codemirror est un composant éditeur de code populaire basé sur HTML5 utilisé sur les sites Web. Il est personnalisable et thématique. Les outils de développement de Firefox utilisent maintenant CodeMirror à différents endroits: éditeur de style, débogueur, inspecteur (édition au format HTML) et bloc-notes.

Dans le panneau d'options, l'utilisateur peut sélectionner le thème à utiliser (sombre ou clair).

Source: Outils de développement pour Firefox: Épisode 27 - Modifier en HTML, Codemirror et plus

Cela fonctionne pour moi dans ~/.mozilla/firefox/profile-name/chrome/userChrome.css.

@namespace url(http://www.w3.org/1999/xhtml);
@-moz-document regexp("chrome://browser/content/devtools/.*"){
* { font-size: 20px !important }
}

enter image description here

3
DK Bose

La solution la plus simple pour moi était de changer la valeur DPI dans les paramètres de police KDE. Maintenant, toutes les autres polices sont trop grandes, mais au moins, je peux lire le débogueur.

0
int_ua

Vous pouvez également créer userChrome.css dans:

/usr/lib/firefox-dev/browser/chrome/ (32 bits)

/usr/lib64/firefox-dev/browser/chrome/ (64 bits)

Cela a fonctionné pour moi lorsque j'ai créé userChrome.css dans le dossier /usr/lib64/firefox-dev/browser/chrome/. Cela devrait également rendre vos modifications globales.

0
anithegregorian