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

17,582 Comments

  1. crazy_pamn crazy_pamn

    Non so quanti di voi — bazzico su Crazy Time da tipo un anno e mezzo, piu per curiosita che altro, e la cosa che mi e rimasta addosso non e il giro della ruota quanto il contorno. Se qualcuno non lo sa: e un live game show firmato Evolution, ruota da 54 settori dove trovi 1, 2, 5, 10 e i quattro bonus: Coin Flip, Cash Hunt, Pachinko e il bonus che da il nome al gioco. E sopra ci sta Top Slot, che e quella che puo raddoppiare o moltiplicare il settore.

    Il mio vizio e aprire una pagina di statistiche mentre guardo il tavolo. Cose tipo l’elenco delle ultime uscite, quanti spin manca un bonus, la distribuzione dei settori sull’ultimo centinaio. Attenzione pero, e lo dico perche ci sono cascato io: lo storico non predice nulla. Ogni spin e a se, il ritorno teorico gira sul 95-96% in base al settore e finisce li. Se un bonus e in ritardo di 70 spin non vuol dire che sta per uscire — quella e la classica trappola mentale.

    E allora perche continuo a guardarle? Sinceramente piu per gestire me stesso che per indovinare: vedo quanti giri ho fatto e quanto ho messo e capisco quando e ora di chiudere. Se vi interessa vedere come si impostano quei dati, io mi appoggio a zona-bellezza.com che tiene lo storico aggiornato senza fronzoli. Prendetelo come uno strumento di lettura, non come una formula.

    I quattro bonus sono il motivo per cui il gioco regge. Cash Hunt dove spari al bersaglio e caotica e li il fattore fortuna e assoluto, Pachinko con il raddoppio sa diventare lunga, Coin Flip e la piu rapida. La cosa che mi infastidisce un po’ e il ritmo: l’attesa tra gli spin e lunghetta e se giochi da mobile con la linea ballerina lo streaming scatta proprio sul bonus. A me e capitato piu di una volta e da fastidio.

    Chiudo con la parte noiosa ma importante: giocate solo su operatori con licenza ADM. In Italia il tavolo live di Crazy Time e sempre quello di Evolution, ma il discorso cambia su chi ti tiene i soldi. Ho visto gente finire su siti.com senza concessione e poi ci sono i problemi. Il dealer e una persona vera e la ruota gira davvero, questo si, pero il banco mantiene il suo vantaggio sempre. Giocate poco, segnatevi quanto spendete, e se le statistiche vi stanno facendo inseguire un bonus, chiudete la pagina.

    # November 13, 2026
  5. Kenny Kenny

    5dollar deposit casino united states, best online casino for indian players (Kenny) casino united states online and free casino no
    deposit bonus uk, or no deposit gambling sites usa

    # November 13, 2026

Leave a Reply

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