PC SOFT

FORUMS PROFESSIONNELS
WINDEV, WEBDEV et WINDEV Mobile

Accueil  |  Messages récents  | Connexion  |   | Français  FR
Accueil → Hors-sujet → Police de caractères / Développeur
Police de caractères / Développeur
Débuté par Roland Cottin, 20 jan. 2020 12:03 - 3 réponses
#1
Posté le 20 janvier 2020 - 12:03
Bonjour,

[...]
Considérant que les concepteurs de police de caractère pensent
'lecture' et non 'lecture de code', JetBrains, l'éditeur
d'environnement de développement intégrés, dont le célèbre IntelliJ
IDEA, a conçu la police JetBrainsMono spécialement pour les
développeurs dans l'intention de leur éviter une fatigue oculaire.

JetBrains a mis en ligne un site dédié à cette police et à partir
duquel il est possible de la télécharger. Cette police est open source
sous licence Apache 2.0, ce qui signifie qu'il est possible de
l'utiliser même pour des projets commerciaux
[...]

https://www.programmez.com/actualites/jetbrainsmono-une-police-de-caractere-concue-pour-les-developpeurs-30082

Personellement, je l'utilise !
Bonne semaine
R.C.

--
Roland Cottin
CRB-T Cirad
34000 Montpellier
#2
Membre enregistré
29 messages
Popularité : +3 (3 votes)
Posté le 20 janvier 2020 - 16:07
Je vais essayer ça. Merci.
#3
Membre enregistré
201 messages
Popularité : +6 (10 votes)
Posté le 20 janvier 2020 - 16:39
salut, question peut être idiote mais on la change comment la police du code dans Windev ??!!
#4
Membre enregistré
29 messages
Popularité : +3 (3 votes)
Posté le 20 janvier 2020 - 18:08
Accueil / Options / Options de l'éditeur de code
Si tu es sur un thème de base alors il faut le dupliquer.
Ensuite tu peux modifier ton nouveau thème pour changer la police (dans coloration).
→ Revenir à Hors-sujet