FORUMS PROFESSIONNELS
WINDEV
,
WEBDEV
et
WINDEV Mobile
Accueil
|
Messages récents
|
Connexion
|
Déconnexion
|
Français
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
Connectez-vous…
Roland Cottin
#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
Signaler
2
0
Alain BLAIZEAU
#2
Membre enregistré
29 messages
Popularité : +3 (3 votes)
Posté le 20 janvier 2020 - 16:07
Je vais essayer ça. Merci.
Signaler
0
0
erbl
#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 ??!!
Signaler
0
0
Alain BLAIZEAU
#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).
Signaler
2
0
→ Revenir à Hors-sujet
WINDEV 2024
WEBDEV 2024
WINDEV Mobile 2024
WINDEV (précédentes versions)
WEBDEV (précédentes versions)
WINDEV Mobile (précédentes versions)
Etats & Requêtes
Hors-sujet
Outils
Français
English
Español
Portuguesa
Fermer cette fenêtre
Type de recherche
Uniquement les sujets
Tous les messages
Période de recherche
Date indifférente
Moins d'une heure
Moins de 24 heures
Moins d'une semaine
Moins d'un mois
Moins d'un an
Annuler
Aperçu de votre message
Ajouter une image
Importer une image depuis une URL
Envoyer une image depuis un fichier de votre disque
Déposez ici un fichier ou cliquez sur "Parcourir..."
ou
Annuler
0%
WLangage
SQL
XML, HTML
JAVA, Javascript
Texte