PC SOFT

GRUPOS DE DISCUSSÃO PROFISSIONAL
WINDEVWEBDEV e WINDEV Mobile

Inicio → WINDEV Mobile 2024 → Police de caractères de l'éditeur
Police de caractères de l'éditeur
Iniciado por François SCHAAL, mai., 24 2018 5:16 PM - 1 resposta
Membro registado
1.603 mensagems
Popularité : +64 (70 votes)
Publicado em maio, 24 2018 - 5:16 PM
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
Membro registado
1.603 mensagems
Popularité : +64 (70 votes)
Publicado em maio, 24 2018 - 5:56 PM
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