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

12,906 Comments

  1. TyroneFup TyroneFup

    «Волшебной капельницы» не существует. Мы структурируем инфузии от симптомов, а не от «средних рецептов». Ниже — логика подбора для типичных профилей; реальную схему определяет врач на месте.
    Подробнее тут – вывод из запоя клиника

  2. Miami is a city that thrives on style and energy. A few companies caught my attention, but many had limitations. Then I found a company that truly delivered. exotic car rental miami — Everything from sleek convertibles to powerful supercars. The staff was professional and genuine. I couldn’t have been happier with the experience. If you’re visiting Miami and want a car that matches the lifestyle. supercar rentals miami supercar rentals miami All the details are there for Miami. It’s the easiest way to make your trip special. Luxury car rental Miami — drive the dream!

Leave a Reply

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