J'utilise Eclipse pour la programmation Java, mais les lignes de l'éditeur semblent trop rapprochées.
Je veux changer la distance entre les lignes. Y at-il une option dans Eclipse que je peux utiliser pour cela?
Réponses
Trop de publicités?
josef.van.niekerk
Points
3491
J'ai cloné et installé la police de
https://github.com/andreberg/Meslo-Font
et en a fait ma police de l'éditeur IDE pour Eclipse. L'interligne est beaucoup mieux maintenant!
steamer25
Points
4224
Vous pouvez configurer un formateur (Préférences | Java | Code Style) pour injecter des lignes vides supplémentaires. Sinon, vous pourrez peut-être trouver une police (Préférences | Général | Apparence | Couleurs et polices) avec beaucoup d’espaces intégrés. Sous Windows, j'aime bien les «consoles» - ce n'est pas particulièrement un espace, mais c'est une belle police lisible, mono-espacée.
Phil Troy
Points
51
Créer votre propre police bitmap utilise toutes les lignes du haut de la police. Il fonctionne, et semble d'économiser jusqu'à 4 lignes de pixels dans une 17 la police de caractères. Je l'ai fait comme suit:
- installer otf2bdf
- aller au dossier de police, probablement dans le terminal en root
- Cloner votre police préférée (sans doute une police truetype) à l'aide de otf2bdf à la taille que vous voulez
- installer fontforge
- modifier la police de caractères pour qu'il utilise toutes les lignes au-dessus de la ligne de l'
lettres majuscules
- typiquement, il y a environ 3 lignes de pixels à gauche de la vierge et c'est pourquoi il y a autant d'espace entre les lignes
- si vous le souhaitez vous pouvez utilise également certaines des lignes au-dessous de la ligne, mais je pense que ces sont généralement utilisés pour lettres minuscules comme y qui baisse au-dessous de la ligne (pas si important la programmation)
- installer la police par:
- l'enregistrer dans un de la police de dossiers tels que /usr/local/share/fonts
- la mise à jour de la police chache Dans un terminal en root avec le fc-cache-f -v
- utiliser la nouvelle police
user736786
Points
31
En ce qui concerne ma réponse ci-dessus, je peux maintenant donner plus de détails quant à la façon de créer de la police, ainsi que des suggestions pour la création d'un plus agréable de police (en commençant avec une police truetype):
- Choisissez une police truetype que vous souhaitez utiliser (j'ai utilisé une police arial)
- Téléchargé et installé fontforge
- Début fontforge et ouvrez le fichier de police; j'ai utilisé un terminal en root, de sorte que je pouvais être sûr d'enregistrer le fichier dans le dossier de police
- Sélectionner tous les caractères (Edition/Sélectionner/Sélectionner Tout)
- Élément de la Police de l'Info PS Noms
- Spécifier des noms - je l'ai appelé ArialMTVerticallyTighter; assurez-vous de changer tous les noms sur cet onglet ou il peut utiliser la nouvelle police à la place de l'ancienne police où vous ne voulez pas qu'il
- Élément transformations transformer
- origine glyphe origine
- l'échelle uniformément 120 %
(plus de sera trop grand, d'utiliser moins si vous voulez plus d'espace entre les lignes)
- Élément Général 1792 256 À 2048 Échelle -142 150
- OS/2 Métriques
- Désactiver le décalage de tous sur l'onglet et t
- Allumez vraiment utiliser faute de frappe métriques
- 1792 512 1792 -512 0 1792 -512 0
- Fichier de Générer des Polices true type - dans le dossier de police - utiliser le nouveau nom de la police
- Enregistrer le fichier (dans le cas où vous vissé vers le haut de sorte que vous pouvez revenir en arrière) nouveau nom
- Ouvrez le nouveau fichier de police (dans nautilus) avec afficheur de police (par un double clic)
- L'installer
- Démarrez Eclipse
- Définir comme la police dans eclipse
(fenêtre>préférences>général>apparence>éditeur java>police de texte pour police de caractère)
Rappelez-vous que la taille de la police que vous voyez dans eclipse pour un paramètre donné, par exemple, 9 correspond à environ un 11 de police avec moins d'espace entre les lignes
Andrew Niefer
Points
3250
