Personnalisation et petites icônes
Publié : 20 mai 2022, 14:26
Bonjour tout le monde,
Comme j'ai eu déjà l'occasion de le dire, j'ai eu une très bonne vue mais ce n'est plus le cas. J'ai donc dû régler sous Windows 10 la taille de ma police système à 22, ce qui a un certain nombre d'effets de bord.
Parmi ceux-ci, les icônes dans Firefox sont vraiment toutes petites, même avec un zoom par défaut à 240%.
Et j'utilise un pavé tactile, qui fonctionne bien dans l'ensemble, mais pendant un glissé de souris il peut arriver que je relâche un peu trop tôt et qu'il faille recommencer.
De ce fait, dans la personnalisation de Firefox, quand je veux glisser un bouton à droite de la barre d'adresse, il arrive que mon mouvement manque un peu de précision, et que j'arrive un peu trop haut ou un peu trop bas. Et après ça, je ne sais plus où est le bouton.
La personnalisation propose un bouton "Configuration par défaut". OK c'est un moyen de retrouver tous ses boutons, mais ça oblige à tout refaire depuis le début. Et, potentiellement, refaire la même erreur, peut-être à la fin.
Ça m'est arrivé de désinstaller une extension et la réinstaller, pour constater que malheureusement ça ne déplace pas son bouton.
Est-ce qu'on a un moyen de demander qu'un bouton en particulier revienne dans le stock de personnalisation ?
Ou peut-être les réglages sont stockés en mode texte, dans prefs.js ?
Oui je sais si je propose les questions et les réponses ce n'est pas très facile à gérer ...
Mais si quelqu'un a connaissance que ce stockage est documenté quelque part, ça peut à l'occasion faire gagner un temps précieux.
Comme j'ai eu déjà l'occasion de le dire, j'ai eu une très bonne vue mais ce n'est plus le cas. J'ai donc dû régler sous Windows 10 la taille de ma police système à 22, ce qui a un certain nombre d'effets de bord.
Parmi ceux-ci, les icônes dans Firefox sont vraiment toutes petites, même avec un zoom par défaut à 240%.
Et j'utilise un pavé tactile, qui fonctionne bien dans l'ensemble, mais pendant un glissé de souris il peut arriver que je relâche un peu trop tôt et qu'il faille recommencer.
De ce fait, dans la personnalisation de Firefox, quand je veux glisser un bouton à droite de la barre d'adresse, il arrive que mon mouvement manque un peu de précision, et que j'arrive un peu trop haut ou un peu trop bas. Et après ça, je ne sais plus où est le bouton.
La personnalisation propose un bouton "Configuration par défaut". OK c'est un moyen de retrouver tous ses boutons, mais ça oblige à tout refaire depuis le début. Et, potentiellement, refaire la même erreur, peut-être à la fin.
Ça m'est arrivé de désinstaller une extension et la réinstaller, pour constater que malheureusement ça ne déplace pas son bouton.
Est-ce qu'on a un moyen de demander qu'un bouton en particulier revienne dans le stock de personnalisation ?
Ou peut-être les réglages sont stockés en mode texte, dans prefs.js ?
Oui je sais si je propose les questions et les réponses ce n'est pas très facile à gérer ...
Mais si quelqu'un a connaissance que ce stockage est documenté quelque part, ça peut à l'occasion faire gagner un temps précieux.
