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

15,859 Comments

  14. Vivod iz zapoya_gxmr Vivod iz zapoya_gxmr

    Помню, сосед три дня не выходил из квартиры. Оказалось, опять сорвался. Лечение запоя на дому — И выводит человека из этого состояния. Потом давление выравнивают. Вывод из запоя на дому анонимно — работает и ночью. Советую глянуть источник: вывод из длительного запоя на дому вывод из длительного запоя на дому Там и про вывод из запоя на дому цена для Иркутской области. Обращайтесь к специалистам.

    # September 24, 2026
  22. RobertMob RobertMob

    Эти направления охватывают как экстренное выведение из запоя и лечение похмелья, так и более продолжительную борьбу с алкоголизмом. Конкретный метод выбирается не по названию услуги, а после оценки самочувствия, противопоказаний и медицинских показаний.
    Ознакомиться с деталями – вывод из запоя круглосуточно Екатеринбург

    # September 24, 2026
  32. Clyderiz Clyderiz

    Очищение организма — не механическая «очистка крови». Капельница поддерживает водно-электролитный баланс, помогает нормализовать давление и уменьшить проявления интоксикации. В состав по показаниям могут входить витаминные растворы, гепатопротекторы, кардиопротекторы и другие применяемые медикаменты. Окончательный состав определяет доктор.
    Получить больше информации – наркология вывод из запоя

    # September 24, 2026
  34. CarlosPar CarlosPar

    После основной терапии важно обеспечить поддержку пациента в период реабилитации. Реабилитационные программы в Краснодаре включают социальную адаптацию, восстановление навыков общения и трудоустройства. Это позволяет минимизировать риск рецидива и возвращения к употреблению алкоголя. Поддержка со стороны специалистов и близких — обязательное условие успешного результата. Более подробно о социальной реабилитации можно ознакомиться на сайте Федерального реабилитационного центра.
    Выяснить больше – центр лечения алкоголизма в краснодаре

    # September 24, 2026
  41. Rosalie Rosalie

    paypal gambling sites canada, free spins for registration usa 2021 and online casino groups usa, or fort erie casino ontario united kingdom

    Here is my web blog; fiat 500 blackjack venta; Rosalie,

    # September 25, 2026
  42. Donny Donny

    best ethical concerns of online gambling (Donny)
    poker in the usa, bet365 play blackjack online uk and united statesn casinos no deposit bonus, or are
    there casinos in usa

    # September 25, 2026

Leave a Reply

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