Pour une raison quelconque, la taille de police utilisée par Notepad ++ pour le rendu des polices de tabulation est soudainement devenue énorme:
Il y a des réglages pour cela dans Settings -> Style Configurator -> Global Styles -> Active tab text
et Inactive tabs
, mais pour une raison quelconque, la modification de ce paramètre n’a aucun effet. Rien n'indique que ce paramètre ou tout paramètre associé ait été modifié dans Notepad ++ (et je ne l'ai certainement pas fait délibérément). Peut-être que le service informatique a sorti un nouveau paramètre de police Windows 10 (non visible dans le système)? Si oui: comment puis-je savoir quel paramètre revenir? Tout ce que j'ai trouvé dans les paramètres de police de Windows 10 Professionnel a une taille de 9, cela semble donc être un long plan.
Modifier: Je viens de réinstaller Notepad ++, après avoir effacé toutes les données npp, mais sans aucun effet visuel (la taille de la police dans les onglets est toujours énorme ). Je soupçonne toujours notre service informatique d’avoir poussé certains paramètres de police Windows 10.