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
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=
bet united states online casino bonus, bet365 poker
united states and casino uk age limit, or best
uk Cs casino offers
bousaa spins no deposit code, best online pokies australia 2021 and free games 20p roulette (Kelle)
spins real money no deposit united kingdom, or can i use td canada trust visa debit for online gambling
new united statesn no deposit bonus casino 2021, best new zealandn online
real money pokies and grand mondial casino australia, or best
uk casino offers
Also visit my site: blackjack professional gambler (Guillermo)
are pokies open in new zealand, free spins new payout casino chips usa and real money online casinos united
states, or £10 no deposit slot bonus uk 2021
new zealandn roulette tips and tricks, wausau
wi area casinos and online craps australia, or united statesn poker tour
My blog: how old to gamble In lake tahoe
online poker australia no deposit bonus, united kingdom online play roulette
and real money poker united states app, or free when will seneca allegany casino open money united states
chusachansi casino in fresno california, online slots bonausaa and canadian poker, or united statesn online
casino minimum deposit $10
My webpage Santana Blackjack Do It Again
united states gambling sites, united statesn poker and directions minimum age to go to casino – Colleen
– potawatomi casino in milwaukee, or united statesn casino guide roulette
best usa no deposit bonus codes 2021, free bonus casino no deposit required canada
and bet uk casino, or awesome online casino new zealand
my web site; casinos in duluth mn area
beste online casino met mobiel betalen (Lacy) casino snelle uitbetaling
blackjack uitbetaling ideal
Feel free to visit my web site: casino minimum storting 5 Euro
bitcoin gambling usa, canadian slot machines online and Odds Of Winning Blackjack With 5 Cards mulligan usa, or no deposit bonus casino united states 2021
gratis spins zonder storting Beste high Volatility Gokkasten casino
(Pstewartaudio.Nl) nederland
dobbelspel online nederland
Feel free to visit my blog – Beste Casino Bonus Februari
dice klein budget
Have a look at my homepage: beste sport gokkasten; Ellen,
new zealand bingo login, 888 poker login australia and united kingdom real money Rivers casino online application, or buy
bingo game australia
are there casinos in saskatchewan united states, united statesn online poker machines and windsor casino in united states,
or online usa poker
Stop by my blog post :: 2022 vanderhall Blackjack For sale
casino amusements united kingdom, free poker chips no deposit uk and best
new uk bingo sites, or online poker licence australia
Here is my webpage: roulette ai Bot
free australian pokies wheres the gold, auto poker
dealer and slot machines sale united states, or usa real money slots
no deposit bonus
Here is my web-site :: casinomeister accredited
australian real money pokies online, best usa poker rooms and australian casino chips, or
united statesn borgata online casino faq – Pablo, casino
minimum deposit $10
beste casino noord holland
Here is my webpage; baccarat 200 euro inzet
safe online poker sites united states, best online casino sites
new zealand and usa gambling regulation changes, or online rounder casino – Kristofer – real money canada paysafe
888 poker promotion code united states, best online poker games canada and casino on net 888 usa, or gambling facts australia
Take a look at my homepage :: how to roll a 12 in craps
Search resource: Google.
new zealand pokies app, wausau wi area casinos and free $30 pokies united states, or top casino in united states for real money
my blog – what is a craps game
Web search: [url=https://google.com/]search engine[/url].
pokies from canada, new 2021 usa online casinos and vancouver australia casinos,
or united statesn roulette strategy uk
My web blog; presque isle downs casino open (Ray)
buitenlandse casino betrouwbaar (https://Bhassancoaching.com) lommel
gokken met 25 euro
My blog; beste keno Casino [http://Chasitraining.com/]
casino bonus zonder rondspelen
Also visit my web-site: baccarat 20 euro inzet
free spins no deposit casino united kingdom 2021, canadian how much are blackjack chips worth (Iola) online free and best casino sites united states, or $5 deposit pokies canada
waar kan ik xxxtreme lightning roulette spelen
Also visit my homepage – casino met cruks 2025
bingo breda
Also visit my blog beste casino mobiel betalen
best online poker tournaments uk, new united states based onine casino and free
no deposit australia casino, or casino age limit canada
Visit my website; rumple roulette strategy (Israel)
online bingo spelen nummers trekken
Visit my homepage beste Blackjack Party (imstorm.com)
pay and play Casino 20 Euro Bonus Nederland
10 euro gratis Blackjack Party Echt Geld bij registratie casino
betrouwbaar casino nederland 2026 (burleyicecreams.co.uk) oostende snelle uitbetaling
wat is beter roulette of blackjack
Here is my web page Bingo Casino Lijst