Firefox: restaurer tous les paramètres de police par défaut

11

Récemment, j'ai installé Firefox 40.0.3 sur un nouveau système. J'ai copié mon ancien profil utilisateur (créé sous une version antérieure de FF) et jusqu'à présent, tout fonctionne.

Cependant, dans mon ancien profil, il y a beaucoup de paramètres de police personnalisés qui n'ont pas de sens pour le nouveau système (noms de police modifiés, affichage différent, donc taille de police optimale différente pour mes yeux et différents paramètres régionaux). Je voudrais supprimer tous les paramètres liés aux polices et utiliser tout ce qui devrait s'y trouver par défaut si je n'avais pas copié mon ancien profil. Pour tout le reste de mon profil utilisateur, je voudrais les conserver.

Existe-t-il une méthode rapide pour ce faire, au lieu de rétablir tous les paramètres de police pour tous les paramètres régionaux un par un?

Edit: pour l'instant, j'ai accepté ma propre réponse, car c'est ce que j'ai essayé et ce que j'ai vécu. Je cherche toujours la réponse à la question d'origine: comment rétablir par programmation ou automatiquement une certaine sélection d'options de configuration à leurs valeurs par défaut? En particulier, comment restaurer tous les paramètres de police? N'hésitez pas à discuter;)

firefox fonts user-profiles

Avez-vous regardé ici pour copier uniquement les choses spécifiques que vous souhaitez au lieu du profil entier?

— Unfundednut

@MrStatic, oui, je l'ai lu, mais cela ne semble pas résoudre le problème des polices. Fondamentalement, je viens cpde modifier tout mon ancien profil et je l'ai choisi par défaut dans le gestionnaire de profils. Cela fonctionne sans aucun problème, sauf celui-ci.

4

Eh bien , je fini par la recherche de la chaîne fontdans about:configet réinitialiser toutes les options définie par l' utilisateur. C'était une mouture mais je suis une main-d'œuvre bon marché de toute façon;)

Mais je suis sûr qu'il existe de meilleures méthodes pour ce faire. Peut-être que quelqu'un ayant plus d'expérience sur Firefox interne pourrait m'éclairer sur la façon de procéder par programmation.

4

Les problèmes de police de la page Web du fil de discussion du forum de support Mozilla présentent ces conseils:

La fonction Réinitialiser Firefox peut résoudre de nombreux problèmes en restaurant Firefox à son état d'usine par défaut tout en enregistrant vos informations essentielles. Remarque: Cela vous fera perdre toutes les extensions et certaines préférences .

Cliquez sur le bouton de menu , cliquez sur Aide et sélectionnez Informations de dépannage . Un nouvel onglet contenant vos informations de dépannage devrait s'ouvrir.

Dans le coin supérieur droit de la page, vous devriez voir un bouton qui dit "Réinitialiser Firefox" . Clique dessus.

Firefox va se fermer et se réinitialiser. Une fois Firefox terminé, il affichera une fenêtre avec les informations importées. Cliquez sur Terminer.

Firefox s'ouvrira avec tous les paramètres par défaut appliqués.

— harrymc
source

1

Salut, j'ai fini par faire quelque chose de très similaire, mais manuellement. Je viens de réinitialiser les paramètres de police un par un about:config.

1

avez-vous essayé de modifier les paramètres de police par défaut dans Firefox

Supprimez les fichiers de polices personnalisés de votre dossier de profil utilisateur Firefox
Allez dans " about: preferences # content "
changer la police par défaut en "Times New Roman"
changer la taille en "16"
cliquez sur Avancé pour utiliser les valeurs suivantes
- Polices pour : Latin
- Proportionnel : Serif & Taille : 16
- Serif : Times New Roman
- Sans Serif : Arial
- Monospace : Courier Nouveau et taille : 13
- Taille de police minimale : 9
- Encodage de texte de secours : par défaut pour les paramètres régionaux actuels
Redémarrez Firefox

si cela ne fonctionne toujours pas - essayez de réinitialiser les préférences de configuration comme suggéré par l'utilisateur "Cong Ma"

Capture d'écran du paramètre Polices et couleurs dans about: preferences # content

Capture d'écran des paramètres de police avancés dans about: preferences # content

— xypha
source

J'ai essentiellement fait cela, mais à partir de la about:configpage, qui est plus rapide à utiliser à la main;) en raison de moins de mouvements de curseur.

l'utilisation de about: config comporte un certain risque. que s'est-il passé après avoir essayé cela? (avant d'utiliser about: page de configuration)

— xypha

J'ai décidé que le risque en valait la peine, car tous mes profils sont sauvegardés. Ce qui est «arrivé», c'est le retour à la valeur par défaut de tous les paramètres de police, sans effet secondaire indésirable connu. De plus, je modifie about:configassez régulièrement, et bien que je ne sois pas un expert, je comprends un peu quel type d'options est préférable de laisser par défaut.

Tout comme pour ajouter à cela que "Autoriser les pages à choisir leurs propres polices, au lieu de mes sélections ci-dessus" est coché par les paramètres par défaut de Firefox . Je ne sais pas si pour vous, @CongMa, cela est également lié aux polices .

— lowtechsun

0

Vous pouvez utiliser MozBackup pour ce faire. Sauvegardez toutes les choses nécessaires à partir du profil, puis restaurez-les à partir de la sauvegarde.

— pbies
source