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=
best deposit bonus seneca allegany casino discount code (Graciela) nz, canadian slots bangor maine and online poker
for money usa, or bonus freuky slots
casinos en españa informacion general
Visit my web-site; Mini casino Las americas
Ищу услугу печати этикеток в Москве и Московской области, нужно недорого. Подскажите, где можно сделать срочную печать этикеток в Москве? Хочу получить качественный результат без переплат. По теме печать этикеток небольшим тиражом https://pechat-etiketki.ru советую обратить внимание на несколько известных типографий. Также интересно узнать, кто уже заказывал печать этикеток в Москве, поделитесь опытом и рекомендациями. Если знаете места с оптимальными условиями, напишите, буду признателен!
ganancia de Casino A Toja (Faizamaqbool.Webmarketingsol.Com)