Page 1 sur 1

Modifier la taille par défaut de l'interface utilisateur ?

Publié : 24 juin 2021, 06:46
par ZhakirSetie
Salut à tous, j'essaie de comprendre comment changer la taille de l'interface utilisateur du programme Firefox lui-même. J'utilise un moniteur 1440p, alors peut-être que tout semble un peu plus petit que la normale ?

J'utilise également Manjaro Linux sur un PC de bureau, si cela compte. Tout semble trop petit et difficile à lire. Les paramètres, le menu des signets, même la barre de menu tout en haut (Fichier, Modifier, Afficher, Historique, etc.) semblent trop petits et difficiles à lire.

Pour clarifier, je ne fais référence à rien à voir avec un site Web. Je ne recherche donc aucune fonction de zoom pour agrandir une page. Je veux juste que l'UI soit plus grande. Merci!!showbox speed test

[modération]
Suppression des liens publicitaires ajoutés après coup.
[/modération]lool-lauris

Re: Modifier la taille par défaut de l'interface utilisateur ?

Publié : 24 juin 2021, 07:20
par Robert Mitchum
Bon matin,

Entrer "about:config" dans la barre d'adresse, promettre de faire attention, et rechercher la valeur ;

layout.css.devPixelsPerPx

Faire varier prudemment cette valeur par incrément de 0,5 (en cliquant sur l'icône "crayon" à droite). Plus le valeur augmente, plus la tille de police diminue (et inversement, dans ton cas...)
Il faut relancer Firefox après chaque modification.

Bonne journée

Re: Modifier la taille par défaut de l'interface utilisateur ?

Publié : 24 juin 2021, 07:38
par Agent virtuel
Bonjour

UI = user interface = interface utilisateur

Donc, oui, layout.css.devPixelsPerPx c'est ok pour UI, mais l'effet de bord layout.css.devPixelsPerPx va se répercuter également sur les pages web

Et à titre informatif vous pouvez revenir à sa valeur par défaut -1.0

Mais il convient d'être prudent, car lors de vos essai modification layout.css.devPixelsPerPx
Si c'est vraiment mais vraiment énormément exagéré ...
Genre about:config n'est plus accessible
Dans ce cas la solution c'est arrêt Firefox démarrer Firefox arrêt Firefox
Ensuite dans le profil utilisateur https://support.mozilla.org/fr/kb/profi ... tilisateur modifier prefs.js niveau layout.css.devPixelsPerPx et de remettre à sa valeur par défaut -1.0 et enregistrer prefs.js et démarrer Firefox

Par ailleurs viewtopic.php?f=4&t=145462 pour celles et ceux qui seraient intéressés
Et idem il convient d'être prudent, car lors de vos essai modification layout.css.devPixelsPerPx
Si c'est vraiment mais vraiment énormément exagéré ...
Genre about:config n'est plus accessible
Dans ce cas la solution c'est arrêt Thunderbird démarrer Thunderbird arrêt Thunderbird
Ensuite dans le profil utilisateur https://support.mozilla.org/fr/kb/profi ... tilisateur modifier prefs.js niveau layout.css.devPixelsPerPx et de remettre à sa valeur par défaut -1.0 et enregistrer prefs.js et démarrer Thunderbird

Re: Modifier la taille par défaut de l'interface utilisateur ?

Publié : 24 juin 2021, 07:47
par Robert Mitchum
Agent virtuel a écrit : 24 juin 2021, 07:38 mais l'effet de bord layout.css.devPixelsPerPx va se répercuter également sur les pages web
Totalement inexact, expérience perso à l'appui .... comme d'habitude, AV déboule comme un chien dans un jeu de quilles, ça commence (euphémisme :) ) à devenir vraiment tannant...

Re: Modifier la taille par défaut de l'interface utilisateur ?

Publié : 24 juin 2021, 07:52
par Agent virtuel
Robert Mitchum, je confirme
Agent virtuel a écrit : 24 juin 2021, 07:38 mais l'effet de bord layout.css.devPixelsPerPx va se répercuter également sur les pages web
https://support.mozilla.org/fr/questions/1147570 - viewtopic.php?f=5&t=141496

Re: Modifier la taille par défaut de l'interface utilisateur ?

Publié : 24 juin 2021, 08:00
par Robert Mitchum
Quand bien même ... si nécessaire :
Paramètres > Général > Langue et apparence > Polices et couleurs > bouton "Avancé" : modifier la taille des polices (des pages Web).
Laisse donc ZhakirSetie tester lui-même, ça fera changement ... si tu en es capable :lol:

Re: Modifier la taille par défaut de l'interface utilisateur ?

Publié : 24 juin 2021, 10:30
par Agent virtuel
Et sinon, sans utiliser layout.css.devPixelsPerPx et son impact sur les pages web également

https://www.reddit.com/r/FirefoxCSS
Ai trouvé https://www.reddit.com/r/FirefoxCSS/comments/it7c7n

Mais ce n'est qu'une réponse partielle sur UI, ai essayé

Code : Tout sélectionner

* Classic Menu Bar (windows only?) */
#toolbar-menubar .menubar-text,
#toolbar-menubar menuitem,
#toolbar-menubar menu {
font-size: 22px !important;
font-weight: bold !important;
}

/* Tab bar */
#TabsToolbar {
font-size: 22px !important;
font-weight: bold !important;
}

/* Main Toolbar */
#nav-bar {
font-size: 22px !important;
font-weight: bold !important;
}

#bookmarks-view,
toolbar,
toolbar menuitem,
toolbar menu {
font-size: 22px !important;
font-weight: bold !important;
}

/* Context menus (this is not all of them) */
menupopup[id*="ContextMenu"] menuitem,
menupopup[id*="ContextMenu"] menu,
#placesContext menuitem,
#placesContext menu,
#backForwardMenu menuitem {
font-size: 22px !important;
font-weight: bold !important;
}
Copier/coller le code (par exemple) dans un Bloc-notes
Enregistrer
Type : Tous les fichiers
userChrome.css

Créer un dossier chrome
Déplacer userChrome.css dans le dossier chrome

Dirigez-vous vers votre dossier de profil Ouvrir le dossier
https://support.mozilla.org/fr/kb/profi ... mon-profil
Déplacer le dossier chrome vers votre dossier de profil

about:config
https://support.mozilla.org/fr/kb/edite ... on-firefox
Rechercher une préférence
toolkit.legacyUserProfileCustomizations.stylesheets
Vérifier true

Arrêt Firefox démarrer Firefox

Firefox Releases
https://www.mozilla.org/en-US/firefox/releases
Depuis Firefox 69 https://www.mozilla.org/en-US/firefox/69.0/releasenotes
Firefox no longer loads userChrome.css or userContent.css by default improving start-up performance.
Users who wish to customize Firefox by using these files can set the toolkit.legacyUserProfileCustomizations.stylesheets preference to true to restore this ability
Pour le reste niveau page paramètres normalement vous pouvez jouer avec votre clavier Zoom avant Zoom arrière https://support.mozilla.org/fr/kb/racco ... e-courante

À vous de voir

Re: Modifier la taille par défaut de l'interface utilisateur ?

Publié : 24 juin 2021, 13:00
par Bob49
Salut

Mais c'est pas possible !!!! :twisted:

@ A V, tu ne peux pas patienter que l'auteur du fil réponde aux premières suggestions, avant d'en remettre une couche ??? Couche qui de plus, est indigeste !!! :roll:
Robert Mitchum a écrit : 24 juin 2021, 08:00 Laisse donc ZhakirSetie tester lui-même, ça fera changement ... si tu en es capable :lol:
Ça n'aura pas été le cas, comme d'hab.... :roll:

Re: Modifier la taille par défaut de l'interface utilisateur ?

Publié : 24 juin 2021, 13:08
par Agent virtuel
Bonjour

Prières de vous calmer svp

Ai proposé et logiquement une éventuelle alternative à layout.css.devPixelsPerPx et son impact sur les pages web également ... donc, à vous de voir

Bob49 et bien entendu si vous le souhaitez, et sans utiliser layout.css.devPixelsPerPx, essayer userChrome.css et faites nous part de votre retour d'information

Autre general_ui_font_size https://github.com/Aris-t2/CustomCSSfor ... t_size.css à tester

Pour le reste niveau page paramètres normalement vous pouvez jouer avec votre clavier Zoom avant Zoom arrière
https://support.mozilla.org/fr/kb/racco ... e-courante

Autre userChrome.css à tester (et par exemple 17)

Code : Tout sélectionner

/* global font */
* {font-size: 17pt !important;}
Pour le reste niveau page paramètres normalement vous pouvez jouer avec votre clavier Zoom avant Zoom arrière
https://support.mozilla.org/fr/kb/racco ... e-courante

Sur ce ... j'arrête avec ce sujet