Police

Bonjour,

Tout d'abord merci pour ce joli éditeur de texte.
Peut-on modifier la police des fichiers édités? Par exemple j'aimerais avoir comme police par défaut pour tous les fichiers édités "Comic Sans MS".

D'avance merci pour vos réponses.

Cordialement,

Bonjour,

Vous pouvez modifier la police de caractère mais pas via l'interface. En fait la police de caractère est stockée dans les fichiers de parentérale des surligneurs syntaxique (ce sont les fichiers .sur présents dans le sous répertoire "surligneurs" du répertoire où est installé GBEPad). Pourquoi cela, car le paramétrage des surligneurs permet de changer la police de caractères en fonction des mots clés qu'il a à surligner. Par exemple, il est possible de paramétrer une police A pour les mots clés et une police B pour les commentaires.

La police utilisée par défaut est Consolas : c'est ma préférée pour le développement car il n'y a pas deux caractères identiques (les o majuscules et le zéro sont bien distincts, de même pour le 1 et le l minuscule etc...).

Donc pour modifier la police de caractère, il vous faut remplacer toutes les occurrences de Consolas par le nom de la police souhaité dans tous les fichiers .sur du sous répertoire surligneurs. GBEPad vous permet de rechercher/remplacer en fonction d'un filtre sur les fichiers dans une arborescence. Si vous le faites avec GBEPad, il faudra alors l'arrêter et le relancer pour que les modifications dans les fichiers .sur soient prises en compte.

Grégory.

Bonjour,

Merci pour votre réponse....je vais donc garder la police Consolas par défaut (votre remarque est très pertinente quant aux différents caractères).
Par contre j'aimerais augmenter un peu la taille par défaut de cette police sans utiliser forcément le zoom. J'ai édité un fichier ".sur" pour regarder et je vois en face de Height -13.
Quelle valeur dois-je mettre pour figurer une augmentation?

Cordialement,

Bonsoir,

La même astuce ne fonctionne pas pour la taille de la police. Je la force "en dur" dans le programme. La version 6.10 sur laquelle je travaille permettra (entre autre) de modifier la police de caractères et sa taille directement dans les options de configuration. Cette version sera disponible en fin de semaine.

Cordialement,
Grégory.

Bonjour,

En tout cas merci pour tout votre travail, GBEPad se révèle un excellent logiciel.

Cordialement,

Bonsoir,

Comme convenu, GBEPad 6.10 est disponible officiellement. Dans les options de configuration de l'éditeur, vous pouvez maintenant sélectionner la police et sa taille (les couleurs et le styles restent ceux définis dans les surligneurs syntaxiques). En plus de cela, de nombreuses nouveautés et améliorations sont au programme. Consultez le fichier nouveautes.txt présent dans le zip pour en avoir la liste.

Cordialement,
Grégory.

Bonjour,

Merci pour toutes ces nouveautés que je vais découvrir au fur et à mesure de l'utilisation de votre logiciel.

Bonne fin de Week End.

Cordialement,