PC SOFT

FOROS PROFESIONALES
WINDEV, WEBDEV y WINDEV Mobile

Inicio | Mensajes recientes | Conéctese... |  | Español FR
Inicio → Irrelevante → Police de caractères / Développeur
Police de caractères / Développeur
Iniciado por Roland Cottin, 20,ene. 2020 12:03 - 3 respuestas
#1
Publicado el 20,enero 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
Miembro registrado
29 mensajes
Popularité : +3 (3 votes)
Publicado el 20,enero 2020 - 16:07
Je vais essayer ça. Merci.
#3
Miembro registrado
201 mensajes
Popularité : +6 (10 votes)
Publicado el 20,enero 2020 - 16:39
salut, question peut être idiote mais on la change comment la police du code dans Windev ??!!
#4
Miembro registrado
29 mensajes
Popularité : +3 (3 votes)
Publicado el 20,enero 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).
→ Volver a Irrelevante