PC SOFT

FORUMS PROFESSIONNELS
WINDEV, WEBDEV et WINDEV Mobile

Accueil  |  Messages récents  | Connexion  |   | Français  FR
Accueil → WINDEV Mobile 2024 → Police de caractères de l'éditeur
Police de caractères de l'éditeur
Débuté par François SCHAAL, 24 mai 2018 17:16 - 1 réponse
#1
Membre enregistré
1 603 messages
Popularité : +64 (70 votes)
Posté le 24 mai 2018 - 17:16
Bonjour

Est-il possible de modifier la police de l'éditeur ?
J'aimerai conserver la police de la version 22.

--
Cordialement
François

http://intra.fr http://intrasoftware.fr
#2
Membre enregistré
1 603 messages
Popularité : +64 (70 votes)
Posté le 24 mai 2018 - 17:56
trouvé : Accueil puis Options puis Editeur de code. Il faut ensuite dupliquer un thème sélectionné pour pouvoir le modifier (dont la police).
Super :)

--
Cordialement
François

http://intra.fr http://intrasoftware.fr
→ Revenir à WINDEV Mobile 2024