Comment changer la police de la console de Notepad ++?

40

Comment configurer une police de taille fixe pour la sortie de console de Notepad ++?

notepad++ console fonts

— Par
source

40

Avez-vous essayé de définir la police globale? Allez dans Paramètres> Style Configurator ... et vous pourrez ensuite définir la police globale (1).

Si vous le souhaitez, vous pouvez modifier la police pour un format de fichier particulier (2).

texte alternatif

Si vous décidez de modifier la police globale, vous devrez également cocher les cases "Activer la police globale" et "Activer la taille de la police globale". Ces deux cases à cocher sont situées sous la question globale de la police de caractères (1).

— ChrisF
source

Oui, le réglage est identique à celui de votre photo. Impossible de trouver la configuration de la console dans le configurateur de styles. En ce qui concerne le style de format de fichier associé - merci, mais ce n’est pas vraiment ce que je me demande: je veux définir le style de la fenêtre de la console, vous connaissez l’endroit où des choses comme les sorties NppExec sont écrites.

— Par

@Per - Je pensais que les styles globaux couvriraient la sortie de la console. Sinon je ne sais pas ce qui le ferait. J'ai inclus la note sur les formats de fichier pour l'exhaustivité.

— ChrisF

De plus, je dois l'exécuter en tant qu'administrateur local.

— Jan Hommes

3

N'oubliez pas de cocher la case "Activer la police globale".

— kmote

27

Trouvé la réponse. Menu -> Plugins-> NppExec -> Changer les polices de la console ...

— Par
source

8

Vous devez marquer cette réponse comme correcte pour qu'elle passe au-dessus de la réponse moins correcte ci-dessus.

— Paul

1

Je n'ai pas NppExec

— rj45

S'il vous plaît lien vers ce plugin.

— LosManos

0

Ou vous pouvez simplement utiliser CTRL et ajuster la taille avec la molette de la souris.

— GTyler
source

5

-1: ne répond pas à la question. (Si vous regardez bien, la question est de savoir comment changer la police en une police à largeur fixe, et non comment changer la taille de la police.)