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=
estadisticas de Apuestas Deporte deportivas
mobilní casino 40 free spinů bez vkladu nejlepší 2026
web wedden voor sport euro 2026 (Shawn) website 2026
neue buchmacher
Here is my web blog: nba basketball wett-tipps
«Волшебной капельницы» не существует. Мы структурируем инфузии от симптомов, а не от «средних рецептов». Ниже — логика подбора для типичных профилей; реальную схему определяет врач на месте.
Подробнее тут – вывод из запоя клиника
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!