Existe-t-il un éditeur de texte permettant de changer la police de ses boîtes de dialogue?éditeur de texte: changer la police dans le dialogue de remplacement
Je voudrais avoir les boîtes de dialogue avec la même police que le code source.
Dans Windows, j'ai réussi à obtenir des polices plus grandes et à changer les polices pour tous les menus etc, mais les polices de dialogue dans Crimson sont toujours les mêmes. Aurais-je vraiment besoin de compiler Crimson ou Scite etc moi-même pour obtenir FixedSys dans leurs boîtes de dialogue de remplacement? N'y a-t-il pas de manière compliquée de forcer l'utilisation d'une certaine police dans les boîtes de dialogue? Non seulement la mise en 120 DPI dans les fenêtres ...
Merci beaucoup
Thomas
De même, emacs. Le mini-tampon est exactement aussi configurable que tous les autres tampons ... – dmckee