web-dev-qa-db-fra.com

spyder changer editor police par défaut/scale/zoom

Existe-t-il une option dans Spyder pour définir/modifier une échelle de fenêtre de script par défaut (éditeur)?

Je dois toujours ajuster l'affichage du script pour chaque script lorsque j'ouvre Spyder avec ctrl + mouse wheel et cela m'agace un peu.

Je l'ai cherché Spyderpreferences et dans Google, mais je n'ai rien trouvé d'utile.

6
Dmitriy Fialkovskiy

Il semble que je n’ai pas inspecté Preferences assez attentivement au début . La bonne réponse est:

Preferences-> Text and margin font style-> Size

EDIT: Mettre à jour la réponse en fonction des commentaires.

Dans les dernières versions de Spyder IDE, le chemin pour changer la taille de la police est le suivant:

Tools → Preferences → General → Appearance → Fonts
7
Dmitriy Fialkovskiy

En cliquant avec le bouton droit de la souris dans la fenêtre de texte, vous trouverez les menus Zoom in, Zoom out et Zoom reset

1
Freeman