Skip to content

Netbeans 6.5.1, Line-spacing

Hello,

I was using NetBeans in Ubuntu 9.04 when i started a new project and I realized that the line-spacing is so fucking bigger. To fix this you have to do this:

Edit the file “org-netbeans-modules-editor-settings-CustomPreferences.xml”

$ pico org-netbeans-modules-editor-settings-CustomPreferences.xml

This file will be in:

/home/user/.netbeans/6.5/config/Editors/Preferences

If the file and the directory exists just add the following lines:

<entry javaType=”java.lang.Float” name=”line-height-correction”
xml:space=”preserve”>
<value><![CDATA[0.75]]></value>
</entry>

If don’t you have to create the directory “Preferences”:
$ mkdir Preferences
(In /home/user/.netbeans/6.5/config/Editors)

$ cd Preferences

And create the file:

$ pico org-netbeans-modules-editor-settings-CustomPreferences.xml

Add the following lines:

<?xml version=”1.0″ encoding=”UTF-8″?>
<!DOCTYPE editor-preferences PUBLIC “-//NetBeans//DTD Editor Preferences 1.0//EN” “http://www.netbeans.org/dtds/EditorPreferences-1_0.dtd”>
<editor-preferences>
<entry javaType=”java.lang.String” name=”code-template-expand-key” xml:space=”preserve”>
<value><![CDATA[TAB]]></value>
</entry>
<entry javaType=”java.lang.Float” name=”line-height-correction” xml:space=”preserve”>
<value><![CDATA[0.75]]></value>
</entry>
</editor-preferences>

Save, restart netbeans and enjoy it. 😉

Good Night,
Matheus

Portuguese Version

References:
http://my.opera.com/Nobita2708/blog/show.dml/2914020
http://www.linux4all.net/how_to_change_line_height_in_netbeans_editor
http://www.cs.wcupa.edu/rkline/netbeans-lin.html
http://www.google.com.br/search?hl=pt-BR&q=line+spacing+ubuntu+netbeans&btnG=Pesquisar&meta=

Published inAprendendoLinuxSoftware Livre

15,104 Comments

  1. best deposit bonus seneca allegany casino discount code (Graciela) nz, canadian slots bangor maine and online poker
    for money usa, or bonus freuky slots

  2. Ищу услугу печати этикеток в Москве и Московской области, нужно недорого. Подскажите, где можно сделать срочную печать этикеток в Москве? Хочу получить качественный результат без переплат. По теме печать этикеток небольшим тиражом https://pechat-etiketki.ru советую обратить внимание на несколько известных типографий. Также интересно узнать, кто уже заказывал печать этикеток в Москве, поделитесь опытом и рекомендациями. Если знаете места с оптимальными условиями, напишите, буду признателен!

Leave a Reply

Your email address will not be published. Required fields are marked *