PC SOFT

FORUMS PROFESSIONNELS
WINDEV, WEBDEV et WINDEV Mobile

|
|
|
FR
Accueil → WINDEV 2024 → modifier la police de l'editeur de code
modifier la police de l'editeur de code
Débuté par guest, 17 nov. 2005 11:15 - 1 réponse
#1
Posté le 17 novembre 2005 - 11:15
Bonjour,

je souhaiterai savoir si on peut modifier la taille et le type de police de l'editeur de code de windev? si comment fait -on?


merci d'avance.
#2
Posté le 18 novembre 2005 - 16:25
prince a écrit :
Bonjour,

je souhaiterai savoir si on peut modifier la taille et le type de police de l'editeur de code de windev? si comment fait -on?


merci d'avance.

Bonjour
A condition d'être dans l'éditeur de code, c'est dans le menu :
Menu > Affichage > Options d'édition du code, Onglet "Coloration"

[R&B] WDForge.org
→ Revenir à WINDEV 2024