Retourner au contenu associé (dépêche : Quelle palette de couleurs pour vos outils ?)
Posté par Vincent le 13 mai 2020 à 08:52. En réponse à la dépêche Quelle palette de couleurs pour vos outils ?. Évalué à 1.
Pour ma part, j’utilise PragmataPro. C’est une police payante — un peu chère d’ailleurs —, mais je la trouve très agréable avec ses ligatures.
Sinon, en police gratuite, la nouvelle de JetBrains est plutôt réussie.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Polices
Posté par Vincent . En réponse à la dépêche Quelle palette de couleurs pour vos outils ?. Évalué à 1.
Pour ma part, j’utilise PragmataPro.
C’est une police payante — un peu chère d’ailleurs —, mais je la trouve très agréable avec ses ligatures.
Sinon, en police gratuite, la nouvelle de JetBrains est plutôt réussie.