Skip to content

Netbeans 6.5.1, Line-spacing

Published by Matheus (X-warrior) Bratfisch on April 27, 2009

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

9,741 Comments

  3. 888starz_sjoi 888starz_sjoi

    888starz.bet https://888starz-uzb2.com/
    Foydalanuvchilar rasmiy saytga kirgach mashhur o’yinlar va jonli tikishlarni darhol ko’radilar.
    888starz rasmiy sayti ishonchli provayderlardan keng slot va stol o’yinlari to’plamini taklif etadi.
    Rasmiy sayt orqali mahalliy va xalqaro chempionatlarga, jumladan O’zbekiston ligasiga tikish mumkin.
    888starz rasmiy platformasi o’zbek tilini qo’llab-quvvatlab, foydalanish qulayligini ta’minlaydi.

    # June 30, 2026
  4. 888starz_qgEi 888starz_qgEi

    888starz sayti O’zbekistonda kazino o’yinlari va sport tikishlari uchun ishonchli yagona maydon hisoblanadi.
    888satrz https://888-uz9.com/
    Foydalanuvchilar 888starz ilovasini telefonlariga yuklab, istalgan vaqtda o’ynashlari mumkin.
    888starz barcha moliyaviy operatsiyalarni zamonaviy shifrlash bilan himoya qiladi.
    Sayt o’yinchilarni mas’uliyatli o’ynashga va xarajat chegarasini belgilashga undaydi.

    # June 30, 2026
  17. 世界杯 世界杯

    This is a very good tip especially to those fresh to the blogosphere.
    Simple but very precise information… Thank you for sharing this one.
    A must read article!

    # June 30, 2026
  18. 世界杯 世界杯

    That is a great tip particularly to those new to the blogosphere.
    Short but very precise info… Many thanks for sharing this one.
    A must read post!

    # June 30, 2026
  20. Ross Ross

    win place bet horse racing​

    Feel free to visit my web-site – lincoln ante post betting​ – Ross –

    # June 30, 2026
  21. 888starz_wcel 888starz_wcel

    888starz O’zbekistonda mahalliy foydalanuvchilar uchun qulay o’zbekcha interfeys taqdim etadi.
    Sayt sutka davomida ishlaydigan jonli kazino stollarini real dilerlar bilan taklif etadi.
    888 старз https://888-uz8.com/
    Foydalanuvchilar o’yin paytida jonli tikish va natijalarni real vaqtda kuzatishlari mumkin.
    Rasmiy saytda yangi foydalanuvchilar uchun bepul aylantirishlar bilan xush kelibsiz paketi mavjud.
    Yangi hisob yaratish telefon, email yoki bir tugma orqali tez va oson bajariladi.

    # June 30, 2026
  22. 888starz_jiSi 888starz_jiSi

    888starz rasmiy sayti O’zbekistonda kazino o’yinlari va sport tikishlari uchun asosiy maydon hisoblanadi.

    Top reytingli slotlar rasmiy sayt interfeysida alohida ajratib beriladi.

    Foydalanuvchilar rasmiy saytda mahalliy va jahon turnirlariga stavka qo’yishlari mumkin.

    888starz rasmiy sayti o’zbek tili bilan birga foydalanuvchilarga qulay to’lov usullarini taqdim etadi.
    888starz login https://888starz-uzb1.com/

    # June 30, 2026

Leave a Reply

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