Ir ao conteúdo

Netbeans 6.5.1, Espaçamento..

Publicado por Matheus (X-warrior) Bratfisch em abril 27, 2009

Opa,

Como disse no post anterior instalei o NetBeans agora a pouco. Ao executar o mesmo, criar um novo projeto e arquivo percebo que o espaçamento (line-spacing) do mesmo está muito grande. Para alterar o mesmo você deve fazer o seguinte:

Editar o arquivo: org-netbeans-modules-editor-settings-CustomPreferences.xml

$ pico org-netbeans-modules-editor-settings-CustomPreferences.xml

Este arquivo está encontrado no seguinte diretorio:

/home//.netbeans/6.5/config/Editors/Preferences

Caso o arquivo e o diretorio existam simplesmente adicione as seguintes linhas:

<entry javaType=”java.lang.Float” name=”line-height-correction”
xml:space=”preserve”>
<value><![CDATA[0.75]]></value>
</entry>

Se o mesmo não exista, provavelmente você terá que criar o diretorio Preferences:

$ mkdir Preferences
(se você estiver no /home//.netbeans/6.5/config/Editors)

$ cd Preferences

E crie o arquivo:

$ pico org-netbeans-modules-editor-settings-CustomPreferences.xml

Adicione o seguinte conteudo:

<?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>

Salve, reinicie o netbeans e pronto.

Uma otima noite a todos,
Matheus

English Version

Fontes:
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=

PS: Isso não é simplesmente uma tradução, a idéia basica está postada, mas aqui foram adicionadas algumas informações.

Publicado emAprendendoLinuxSoftware Livre

16.670 Comentários

  1. fribet_hmoi fribet_hmoi

    Кто-нибудь знает, где сейчас можно получить фрибет без депозита? Я уже перебрал несколько БК, но везде какие-то условия сложные. Хорошо бы найти нормальный фрибет, чтобы без лишних заморочек. По теме фрибеты за регистрацию http://www.fribet-stavka.ru/ советую смотреть отзывы — там часто пишут, кто реально даёт, а кто просто разводит. Ещё можно попробовать бк с фрибетом, но тут надо смотреть, чтобы отыгрыш был адекватный. Кстати, где дают фрибет с минимальным вейджером? Посоветуйте проверенные варианты.

    # outubro 31, 2026
  2. Lola Lola

    canadian online pokies that accept paypal, united statesn online pokies
    paysafe and caesars casino free credits – Lola, in united states near
    detroit, or usa gambling license

    # outubro 31, 2026
  7. fribet_gxoi fribet_gxoi

    Кто-нибудь знает, где сейчас можно получить фрибет за регистрацию? Я уже перебрал несколько БК, но везде какие-то условия сложные. Хорошо бы найти бесплатные фрибеты, чтобы без лишних заморочек. По теме [url=https://fribet-stavka.ru/]фрибет за регистрацию[/url] советую смотреть отзывы — там часто пишут, кто реально даёт, а кто просто разводит. Ещё можно попробовать бк с фрибетом, но тут надо смотреть, чтобы отыгрыш был адекватный. Кстати, где дают фрибет с минимальным вейджером? Подскажите проверенные варианты.

    # outubro 31, 2026
  17. prodvijenie saitov_owpl prodvijenie saitov_owpl

    Ищу специалистов по продвижению сайтов — посоветуйте, кто действительно работает качественно. Недавно начал изучать тему и понял, что без грамотного подхода тут не обойтись. Хочу найти компанию, которая занимается не только базовой оптимизацией, но и комплексным продвижением, включая работу с трафиком. Уже пересмотрел несколько вариантов вроде Net SEO и SEO Partners, но пока не могу определиться. Если кто-то сталкивался с продвижением сайтов в Москве, поделитесь опытом — как выбрать надежное SEO агентство? Пока искал по запросу продвижение сайтов, наткнулся на множество предложений, но не все внушают доверие. Хотелось бы услышать рекомендации от тех, кто уже работал с подобными услугами. Заранее спасибо за советы!

    # outubro 31, 2026
  21. kyrsi seo_bmoi kyrsi seo_bmoi

    Искал варианты, как начать карьеру в digital, и решил попробовать себя в SEO — это перспективное направление для удалённой работы. Нашёл несколько seo интенсивов, которые предлагают обучение с нуля. Мне понравилось, что есть как платные, так и бесплатные варианты для старта. По теме seo курсы нашёл много полезной информации — там объясняют базовые принципы продвижения сайтов. Сейчас думаю записаться на seo базовый курс, чтобы систематизировать знания. Кто-нибудь уже проходил обучение продвижению сайтов? Посоветуйте, где лучше учиться seo онлайн — искал отзывы, но пока не могу определиться. Хочется найти что-то с практикой, чтобы сразу применять знания в работе.

    # outubro 31, 2026
  23. prodvijenie saitov_njpl prodvijenie saitov_njpl

    Ищу специалистов по продвижению сайтов — посоветуйте, кто действительно работает качественно. Недавно начал изучать тему и понял, что без грамотного подхода тут не обойтись. Хочу найти компанию, которая занимается не только базовой оптимизацией, но и комплексным продвижением, включая работу с трафиком. Уже пересмотрел несколько вариантов вроде Net SEO и SEO Partners, но пока не могу определиться. Если кто-то сталкивался с продвижением сайтов в Москве, поделитесь опытом — как выбрать надежное SEO агентство? Пока искал по запросу продвижение сайта, наткнулся на множество предложений, но не все внушают доверие. Хотелось бы услышать рекомендации от тех, кто уже работал с подобными услугами. Заранее спасибо за советы!

    # outubro 31, 2026
  30. fribet_aooi fribet_aooi

    Кто-нибудь знает, где сейчас можно получить фрибет за регистрацию? Я уже перебрал несколько БК, но везде какие-то условия непонятные. Хорошо бы найти нормальный фрибет, чтобы без лишних заморочек. По теме фрибет за регистрацию советую смотреть отзывы — там часто пишут, кто реально даёт, а кто просто разводит. Ещё можно попробовать бк с фрибетом, но тут надо смотреть, чтобы отыгрыш был адекватный. Кстати, где дают фрибет с минимальным вейджером? Подскажите проверенные варианты.

    # outubro 31, 2026
  31. kyrsi seo_vcoi kyrsi seo_vcoi

    Искал варианты, как начать карьеру в digital, и решил попробовать себя в SEO — это перспективное направление для удалённой работы. Нашёл несколько курсов по seo, которые предлагают обучение с нуля. Мне понравилось, что есть как платные, так и бесплатные варианты для старта. По теме учиться seo https://kursy-seo-3.ru нашёл много полезной информации — там объясняют базовые принципы продвижения сайтов. Сейчас думаю записаться на seo базовый курс, чтобы систематизировать знания. Кто-нибудь уже проходил обучение продвижению сайтов? Посоветуйте, где лучше учиться seo онлайн — искал отзывы, но пока не могу определиться. Хочется найти что-то с практикой, чтобы сразу применять знания в работе.

    # outubro 31, 2026
  34. kyrsi seo_fpoi kyrsi seo_fpoi

    Искал варианты, как начать карьеру в digital, и решил попробовать себя в SEO — это перспективное направление для удалённой работы. Нашёл несколько школ seo, которые предлагают обучение с нуля. Мне понравилось, что есть как платные, так и бесплатные варианты для старта. По теме школа seo https://kursy-seo-3.ru нашёл много полезной информации — там объясняют базовые принципы продвижения сайтов. Сейчас думаю записаться на seo базовый курс, чтобы систематизировать знания. Кто-нибудь уже проходил обучение продвижению сайтов? Посоветуйте, где лучше учиться seo онлайн — искал отзывы, но пока не могу определиться. Хочется найти что-то с практикой, чтобы сразу применять знания в работе.

    # outubro 31, 2026
  36. kyrsi seo_nkoi kyrsi seo_nkoi

    Искал варианты, как начать карьеру в digital, и решил попробовать себя в SEO — это перспективное направление для удалённой работы. Нашёл несколько школ seo, которые предлагают обучение с нуля. Мне понравилось, что есть как платные, так и бесплатные варианты для старта. По теме seo онлайн https://kursy-seo-3.ru нашёл много полезной информации — там объясняют базовые принципы продвижения сайтов. Сейчас думаю записаться на seo базовый курс, чтобы систематизировать знания. Кто-нибудь уже проходил обучение продвижению сайтов? Посоветуйте, где лучше учиться seo онлайн — искал отзывы, но пока не могу определиться. Хочется найти что-то с практикой, чтобы сразу применять знания в работе.

    # outubro 31, 2026
  39. kyrsi seo_sgPr kyrsi seo_sgPr

    Курсы seo помогут вам освоить продвижение сайтов с нуля. Онлайн курсы удобны тем, что учиться можно в любое время. Многие школы seo предлагают как платные, так и бесплатные программы. Я сам начинал с базового курса, и это помогло мне понять основы. Seo с нуля — это реально, главное — найти подходящий курс.

    # outubro 31, 2026
  42. prodat sait_caPr prodat sait_caPr

    Расскажу, как я недавно продажи сайта — может быть, кому-то пригодится. Долго сомневался, стоит ли этим заниматься, но потом разобрался. Главное — правильно оценить свой ресурс и выбрать подходящую площадку. Самые популярные варианты — это продажа сайтов, там действительно можно найти покупателей. Важно не торопиться и сделать аудит, собрана статистику, возможно, немного доработать дизайн. В итоге мой сайт купили за приличную сумму. Планирую попробовать ещё раз. Кстати, кто-то пробовал аукцион сайтов для быстрой продажи?

    # novembro 1, 2026
  45. kyrsi seo_lzoi kyrsi seo_lzoi

    Искал варианты, как начать карьеру в digital, и решил попробовать себя в SEO — это перспективное направление для удалённой работы. Нашёл несколько школ seo, которые предлагают обучение с нуля. Мне понравилось, что есть как платные, так и бесплатные варианты для старта. По теме курсы seo https://kursy-seo-3.ru нашёл много полезной информации — там объясняют базовые принципы продвижения сайтов. Сейчас думаю записаться на seo базовый курс, чтобы систематизировать знания. Кто-нибудь уже проходил обучение продвижению сайтов? Посоветуйте, где лучше учиться seo онлайн — искал отзывы, но пока не могу определиться. Хочется найти что-то с практикой, чтобы сразу применять знания в работе.

    # novembro 1, 2026
  46. kyrsi seo_tnoi kyrsi seo_tnoi

    Искал варианты, как начать карьеру в digital, и решил попробовать себя в SEO — это перспективное направление для удалённой работы. Нашёл несколько seo интенсивов, которые предлагают обучение с нуля. Мне понравилось, что есть как платные, так и бесплатные варианты для старта. По теме seo базовый курc https://kursy-seo-3.ru нашёл много полезной информации — там объясняют базовые принципы продвижения сайтов. Сейчас думаю записаться на seo базовый курс, чтобы систематизировать знания. Кто-нибудь уже проходил обучение продвижению сайтов? Посоветуйте, где лучше учиться seo онлайн — искал отзывы, но пока не могу определиться. Хочется найти что-то с практикой, чтобы сразу применять знания в работе.

    # novembro 1, 2026
  47. kyrsi seo_fwoi kyrsi seo_fwoi

    Искал варианты, как начать карьеру в digital, и решил попробовать себя в SEO — это перспективное направление для удалённой работы. Нашёл несколько курсов по seo, которые предлагают обучение с нуля. Мне понравилось, что есть как платные, так и бесплатные варианты для старта. По теме seo базовый курc https://kursy-seo-3.ru нашёл много полезной информации — там объясняют базовые принципы продвижения сайтов. Сейчас думаю записаться на seo базовый курс, чтобы систематизировать знания. Кто-нибудь уже проходил обучение продвижению сайтов? Посоветуйте, где лучше учиться seo онлайн — искал отзывы, но пока не могу определиться. Хочется найти что-то с практикой, чтобы сразу применять знания в работе.

    # novembro 1, 2026
  48. kyrsi seo_fkPr kyrsi seo_fkPr

    Курсы seo помогут вам освоить продвижение сайтов с нуля. Онлайн курсы удобны тем, что учиться можно в любое время. Многие школы seo предлагают как платные, так и бесплатные программы. Мой друг прошёл интенсив и теперь успешно работает в этой сфере. Seo с нуля — это реально, главное — найти подходящий курс.

    # novembro 1, 2026
  49. kyrsi seo_urPr kyrsi seo_urPr

    Курсы seo помогут вам освоить продвижение сайтов с нуля. Онлайн курсы удобны тем, что учиться можно в любое время. Многие школы seo предлагают как платные, так и бесплатные программы. Когда я искал подходящие варианты, то остановился на курсы по seo https://kursy-seo-11.ru — там всё подробно расписано. Продвижение обучение требует времени, но результат того стоит.

    # novembro 1, 2026
  50. kyrsi seo_jtoi kyrsi seo_jtoi

    Искал варианты, как начать карьеру в digital, и решил попробовать себя в SEO — это перспективное направление для удалённой работы. Нашёл несколько курсов по seo, которые предлагают обучение с нуля. Мне понравилось, что есть как платные, так и бесплатные варианты для старта. По теме seo специалист https://kursy-seo-3.ru нашёл много полезной информации — там объясняют базовые принципы продвижения сайтов. Сейчас думаю записаться на seo базовый курс, чтобы систематизировать знания. Кто-нибудь уже проходил обучение продвижению сайтов? Посоветуйте, где лучше учиться seo онлайн — искал отзывы, но пока не могу определиться. Хочется найти что-то с практикой, чтобы сразу применять знания в работе.

    # novembro 1, 2026

Deixe um comentário

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *