Comment puis-je modifier la hauteur de la ligne / l’interligne dans Eclipse?

J’utilise Eclipse pour la programmation Java mais les lignes dans l’éditeur sont trop proches les unes des autres.

Je veux changer l’espacement / l’espace entre les lignes. Existe-t-il une option dans Eclipse que je peux utiliser pour cela?

J’ai cloné et installé la police à partir de

https://github.com/andreberg/Meslo-Font

et en a fait ma police d’éditeur IDE pour Eclipse. L’espacement des lignes est bien meilleur maintenant!

Après avoir essayé diverses fonts de remplacement, j’ai pris des Consolas origine et une hauteur de ligne accrue dans l’éditeur de fonts, installé le package de fonts ConsolasHigh dans le système et défini ce dernier par défaut dans l’éditeur Eclipse:

entrer la description de l'image ici

Départ: https://github.com/Salauyou/Consolas-High-Line

Vous pouvez configurer un formateur (Preferences | Java | Style de code) pour injecter des lignes vides supplémentaires. Sinon, vous pouvez trouver une police (Préférences | Général | Apparence | Couleurs et fonts) avec beaucoup d’espaces intégrés. Sur Windows, j’aime les «consolas» – ce n’est pas particulièrement blanc, mais c’est une belle police lisible et mono-espacée.

Créez votre propre police bitmap qui utilise toutes les lignes en haut de la police. Cela fonctionne et semble enregistrer jusqu’à 4 lignes de pixels dans une police de 17 points. Je l’ai fait comme suit:

  • installer otf2bdf
    • aller au dossier de fonts, probablement dans le terminal racine
    • Clone ta police préférée (probablement une police TrueType) en utilisant otf2bdf à la taille que tu veux
    • installer fontforge
    • éditer la police de sorte qu’elle utilise toutes les lignes au-dessus de la ligne pour les majuscules
      • il y a généralement environ 3 lignes de pixels qui sont laissés en blanc et c’est pourquoi il y a tellement d’espace entre les lignes
      • Si vous le souhaitez, vous pouvez également utiliser certaines lignes en dessous de la ligne, mais je pense que celles-ci sont généralement utilisées pour les lettres minuscules comme y qui tombent en dessous de la ligne (pas très important lors de la programmation)
    • installez la police par:
      • l’enregistrer dans l’un des dossiers de fonts tels que / usr / local / share / fonts
      • Mise à jour de la chaîne de fonts Dans un terminal racine avec fc-cache -f -v
    • utiliser la nouvelle police

En ce qui concerne ma réponse ci-dessus, je peux maintenant fournir plus de détails sur la création de la police, ainsi que des suggestions pour créer une police plus agréable (en commençant par une police TrueType):

  • Choisissez une police TrueType que vous souhaitez utiliser (j’ai utilisé une police Arial)
  • Téléchargé et installez fontforge
  • Démarrez fontforge et ouvrez le fichier de police; J’ai utilisé un terminal racine pour être sûr de sauvegarder le fichier dans un dossier de police protégé
  • Sélectionnez tous les caractères (Edit / Select / Select All)
  • Element Font Info PS Names
  • Spécifiez les noms – je l’ai appelé ArialMTVerticallyTighter; assurez-vous de changer tous les noms sur cet onglet ou il peut utiliser la nouvelle police au lieu de l’ancienne police où vous ne voulez pas qu’il
    • Transformation d’élément
    • origine du glyphe d’origine
    • échelle uniformément 120%
      (plus sera trop gros, utilisez moins si vous voulez plus d’espacement entre les lignes)
  • Élément Général 1792 256 2048 Échelle -142 150
  • Mésortingques OS / 2
    • Désactiver est décalé sur tous les tabs et t
    • Activer vraiment utiliser des mesures typographiques
    • 1792 512 1792 -512 0 1792 -512 0
  • Fichier Générer des fonts – type vrai – dans le dossier de fonts – utilise un nouveau nom de police
  • Enregistrer le fichier (au cas où vous foiriez pour que vous puissiez revenir en arrière) à nouveau nom
  • Ouvrez le nouveau fichier de police (dans Nautilus) avec l’afficheur de fonts (en double-cliquant)
  • Installez-le
  • Démarrer Eclipse
  • Définissez-le comme police dans éclipse
    (fenêtre> préférence> général> apparence> éditeur java> police de texte à la nouvelle police)

Rappelez-vous que la taille de la police que vous voyez dans éclipse pour un paramètre particulier, par exemple 9 correspond en fait à environ une police de 11 points avec moins d’espace entre les lignes

Sous Linux avec GTK, vous pouvez également jouer avec un fichier .gtkrc. Voir ici et ici comme exemples.

Bien sûr, cela n’aide pas les fenêtres 🙂

Vous pouvez placer des caractères trop élevés dans un commentaire quelque part, essayez “| ÄÁg $ ÑĈђ ךן ﭼژ çÅẤДАБψ”. Dès que Eclipse le verra dans un fichier, il augmentera la séparation des lignes pour le fichier entier afin d’afficher correctement ces caractères.