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

6,994 Comments

  27. tubidy mp3 tubidy mp3

    Tubidy is a user-friendly online platform for free music and video downloads,
    particularly popular among users in South Africa. The site boasts a vast catalog of tracks and videos,
    reportedly containing over one million items across various mirrors.
    Tubidy simplifies the process of finding and enjoying music
    and music videos on the go.

    # April 1, 2026
  30. GerryFup GerryFup

    https://888starz.net.co/
    888Starz Colombia representa un establecimiento virtual de juegos de azar y apuestas deportivas que ofrece mas de 9.500 opciones de juego, tales como tragamonedas, mesas con crupier en vivo y una amplia oferta de deportes que va desde la Liga BetPlay pasando por la Champions League y los esports.

    # April 1, 2026
  42. UFCOdds UFCOdds

    https://ufc327odds.com/
    This Miami-held light heavyweight title fight at UFC 327 presents a genuine pick’em for those placing wagers, as ex-champion Jiri Prochazka (-142) and hot-streaking knockout artist Carlos Ulberg (+120) gear up to throw down for the unclaimed belt. The extremely close odds are a testament to how evenly matched these two striking specialists really are, making this fight where a bet on either competitor is simply a matter of which dynamic skillset you believe will emerge victorious.

    # April 2, 2026
  44. UFCOdds UFCOdds

    https://ufc327odds.com/
    This Miami-held light heavyweight title fight at UFC 327 presents a legitimate pick’em for the gambling public, as previous belt holder Jiri Prochazka (-142) and surging knockout specialist Carlos Ulberg (+120) prepare to battle for the vacant belt. The razor-thin odds underscore how evenly matched these two stand-up fighters really are, setting up a matchup where a wager on either man hinges entirely on which explosive fighting style you believe will emerge victorious.

    # April 2, 2026
  45. UFCOdds UFCOdds

    https://ufc327odds.com/
    This Miami-held light heavyweight title fight at UFC 327 offers a genuine pick’em for bettors, as ex-champion Jiri Prochazka (-142) and hot-streaking knockout artist Carlos Ulberg (+120) gear up to throw down for the vacant belt. The razor-thin odds underscore how evenly matched these two stand-up fighters really are, setting up a matchup where a investment on any side ultimately comes down to which devastating skillset you think will emerge victorious.

    # April 2, 2026
  46. UFCOdds UFCOdds

    https://ufc327odds.com/
    The upcoming UFC 327 light heavyweight championship bout in Miami presents a genuine pick’em for those placing wagers, as previous belt holder Jiri Prochazka (-142) and surging knockout artist Carlos Ulberg (+120) get set to throw down for the unclaimed belt. The tight odds are a testament to how well-paired these two finishers really are, making this fight where a bet on any side ultimately comes down to which explosive fighting style you think will come out on top.

    # April 2, 2026
  50. UFCOdds UFCOdds

    https://ufc327odds.com/
    This Miami-held light heavyweight title fight at UFC 327 shapes up as a genuine pick’em for those placing wagers, as ex-champion Jiri Prochazka (-142) and surging knockout artist Carlos Ulberg (+120) prepare to throw down for the unclaimed belt. The extremely close odds underscore how comparable these two striking specialists really are, creating a scenario where a wager on either competitor ultimately comes down to which dynamic approach you think will emerge victorious.

    # April 2, 2026

Leave a Reply

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