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


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

Cependant, dans mon ancien profil, de nombreux paramètres de police personnalisés ne sont pas pertinents pour le nouveau système (noms de police modifiés, affichage différent, donc taille de police optimale pour mes yeux et différents paramètres régionaux). Je voudrais supprimer tous les paramètres liés à les polices et utiliser quoi que ce soit par défaut si je n'avais pas copié mon ancien profil. Pour tout le reste de mon profil utilisateur, je souhaite 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, parce que c'est ce que j'ai essayé et ce avec quoi j'ai de l'expérience. Je cherche toujours la réponse à la question initiale: comment par programmation, ou automatiquement rétablir 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;)


11
2017-09-17 10:51


origine


Avez-vous regardé ici copier uniquement les choses spécifiques que vous voulez au lieu de tout le profil? - Unfundednut
@MrStatic, oui, je l'ai lu, mais cela ne semble pas résoudre le problème des polices. En gros, je viens cpJ'ai utilisé 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.


Réponses:


Eh bien, j'ai fini par chercher la chaîne font dans about:config et réinitialiser toutes les options définies par l'utilisateur. C'était un travail difficile 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 le faire. Peut-être quelqu'un avec plus d'expérience sur Firefox interne pourrait-il m'éclairer sur la façon de le faire par programmation.


4
2017-09-19 14:23





Le fil du forum de support de Mozilla Problèmes de police de page Web a ce conseil:

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

  1. Cliquez sur le bouton de menu image1, cliquez sur Aide image2 et sélectionnez Des informations de dépannage. Un nouvel onglet   contenant vos informations de dépannage devrait s’ouvrir.
  2. En haut à droite de la page, vous devriez voir un bouton indiquant "Réinitialiser Firefox" image3. Clique dessus.
  3. Firefox se fermera et se réinitialisera. Une fois Firefox terminé, il affichera une fenêtre contenant les informations importées. Cliquez sur Terminer.
  4. Firefox s'ouvrira avec tous les paramètres d'usine par défaut.

image4


4
2017-09-19 18:05



Bonjour, 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 dans about:config.


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

  1. Supprimer les fichiers de polices personnalisés de votre dossier de profil utilisateur Firefox
  2. Aller à "about: préférences # contenu"
  3. changement Police par défaut à "Times New Roman"
  4. changement Taille à "16"
  5. cliquer sur Avancée sur utiliser les valeurs suivantes
    • Polices pour : Latin
    • Proportionnel : Serif & Taille : 16
    • Serif : Times New Roman
    • Sans Serif : Arial
    • Monospace : Courrier New & Taille : 13
    • Taille de police minimale : 9
    • Codage de texte de repli : Par défaut pour les paramètres régionaux actuels
  6. Redémarrer Firefox

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

Capture d'écran de Polices et couleurs mettre à propos de: préférences # contenu

http://i.stack.imgur.com/vtZ8v.jpg

Capture d'écran de Avancée paramètres de police dans: préférences # contenu

http://i.stack.imgur.com/EMTxQ.jpg


1
2017-09-21 10:46



Je l'ai fait essentiellement, mais de about:config page, qui est plus rapide à utiliser à la main;) en raison de la faible quantité de mouvements du curseur.
using about: config est livré avec certains risques. que s'est-il passé après avoir essayé ceci? (avant d'utiliser about: page de configuration) - xypha
J'ai décidé du risque à prendre car tous mes profils sont sauvegardés. Ce qui est "arrivé" était le retour à la valeur par défaut de tous les paramètres de police, sans effet secondaire indésirable connu. Aussi je modifie about:config assez 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 au défaut.
Juste pour ajouter à cela que "Autoriser les pages à choisir leurs propres polices, au lieu de mes sélections ci-dessus" est coché par défaut Paramètres de Firefox. Je ne sais pas si pour vous, @CongMa, cela est également lié à les polices. - lowtechsun


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


0
2017-09-19 13:39