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.409 Comentários

  1. craybet_fyea craybet_fyea

    Been using Craybet for about six weeks or so and thought I’d throw out what I think because there’s not many posts about them in this forum. Registered after seeing an ad and registration was like a couple minutes. Min deposit was $10 which is pretty standard. Got a sign-up bonus — 100% up to $500 and 50 free spins on Sweet Bonanza. Wagering was 35x which is kinda average but it’s manageable.

    Their slots catalog is decent honestly. You’ll find games from Pragmatic Play, NetEnt, plus Microgaming — meaning Book of Dead, Gonzo’s Quest, that kind of thing. Probably close to 2000 games total if you count everything. Live casino runs on Evolution which is quality — tried baccarat and Crazy Time with actual croupiers and had no complaints.

    Tbh the thing that kinda bugged me was how long cashouts take. I used Bitcoin and waited like a day and a half the first time. Second time around it was faster. They accept credit cards, Skrill, Neteller, and crypto which is most bases. You can check out what they’ve got going on on Craybet review before you sign up.

    Using Craybet on my phone worked better than expected. I didn’t find a native app though the browser version is responsive and everything works fine. Played a few sessions on the bus and didn’t notice any lag or glitches.

    Customer service on Craybet is decent — there’s a chat widget that gets you a person pretty quick usually. Reached out once about a bonus that didn’t credit and it was resolved same day. I think they’re Curacao-based from what I can tell which is what most platforms like this. Wouldn’t say it’s perfect — the bonus wagering could be lower — but overall it does the job for me.

    # outubro 28, 2026
  5. seo blog_dnEa seo blog_dnEa

    Ищу полезные материалы по SEO и маркетингу — подскажите, где читать? Нашёл случайно на интересный ресурс, где собраны материалы по SEO-оптимизации. Обратил внимание на подборку с кейсами. Решил проверить по запросу блог про seo https://seo-blog15.ru — там очень много материалов на эту тему. Теперь регулярно читаю — материалы очень качественная. Кто ещё знает подобные ресурсы?

    # outubro 28, 2026
  14. seo keisi_dfPr seo keisi_dfPr

    Если вы ищете реальные примеры успешного продвижения, стоит изучить успешные seo кейсы. Например, недавно я наткнулся на интересные проекты, где специалисты из seo top 1 добились впечатляющих результатов. Один из них — это продвижение сайта наркологической клиники, где использовалась эффективная стратегия seo, что значительно увеличило трафик. Ещё один пример — это создание сайта прогнозов на спорт в Москве, который быстро вышел в топ поисковой выдачи. Если хотите добиться подобных результатов, рекомендую обратиться к профессионалам. Кстати, недавно я искал по запросу получить короткую ссылку google https://seo-kejsy7.ru и нашёл массу полезной информации по этой теме. Также советую обратить внимание на успешные seo кейсы Санкт-Петербург, чтобы понять, какие стратегии работают лучше всего.

    # outubro 28, 2026
  17. seo blog_cyMt seo blog_cyMt

    Искал полезные материалы по теме маркетинга и наткнулся на классный SEO блог. Автор грамотно разбирает тонкости продвижения сайтов. Особенно понравились статьи, где подробно разбирается статьи про digital маркетинг https://seo-blog4.ru — информация подаётся доступно. Тем, кто развивает свой бизнес онлайн — рекомендую добавить в закладки. Чувствуется глубокое понимание темы. Теперь регулярно читаю новые публикации.

    # outubro 28, 2026
  18. seo blog_wfPl seo blog_wfPl

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

    # outubro 28, 2026
  20. prodvijenie saitov_mdMn prodvijenie saitov_mdMn

    Много раз сталкивался с необходимостью продвижения сайтов, и могу сказать, что это не такая простая задача, как кажется на первый взгляд. Если вас интересует продвижение сайта, то стоит обратить внимание на интернет агентство продвижение сайтов сео, которые предлагают комплексный подход. Особенно важно учитывать продвижение по трафику, так как это напрямую влияет на эффективность. В своё время я искал по запросу услуги продвижения сайта и нашёл несколько оптимизация и продвижение сайтов москва, которые действительно помогли мне с продвижением. Рекомендую не торопиться с выбором и тщательно изучить все доступные варианты, чтобы не переплачивать за ненужные услуги.

    # outubro 28, 2026
  23. prodvijenie saitov_rjOt prodvijenie saitov_rjOt

    Сейчас многие компании занимаются продвижением сайтов, но не все делают это качественно. Если вам нужно seo агентство, которое действительно работает на результат, советую обратить внимание на проверенные фирмы. Я лично сталкивался с несколькими интернет агентствами, и могу сказать, что важно выбирать тех, кто специализируется именно на продвижении по трафику. Недавно искал по запросу компании занимающиеся продвижением сайтов и нашёл несколько интересных вариантов, включая net seo и seo partners. Если вы из Москвы, то раскрутка сайта москва — это отдельная тема, так как там конкуренция выше и нужно уделять больше внимания деталям. Оптимизация и продвижение сайтов москва требует профессионального подхода, иначе можно просто потерять время и деньги. Поэтому советую не экономить на этом и обращаться к специалистам, которые уже зарекомендовали себя на рынке.

    # outubro 28, 2026
  27. StephenJef StephenJef

    Медицинская публикация представляет собой свод актуальных исследований, экспертных мнений и новейших достижений в сфере здравоохранения. Здесь вы найдете информацию о новых методах лечения, прорывных технологиях и их практическом применении. Мы стремимся сделать актуальные медицинские исследования доступными и понятными для широкой аудитории.
    Смотрите также… – 1narcology

    # outubro 28, 2026
  28. prodvijenie saitov_vbpt prodvijenie saitov_vbpt

    Для успешного продвижения сайта важно учитывать множество факторов, лучше всего обратиться в интернет-агентство, которое специализируется на SEO. Такие компании, как Net SEO или SEO Partners, предлагают комплексные услуги по раскрутке сайтов. Для тех, кто хочет добиться высоких позиций в поисковой выдаче, советую посмотреть раскрутка сайта https://prodvizhenie-sajtov-v-moskve1.ru — там вы найдёте подробную информацию о лучших предложениях. Правильно подобранное SEO-агентство сможет вывести ваш сайт в топ.

    # outubro 28, 2026
  30. prodvijenie saitov_btOt prodvijenie saitov_btOt

    Если вы хотите вывести свой сайт в топ, то важно правильно подойти к выбору компании, которая займётся его продвижением. Многие компании занимающиеся продвижением сайтов предлагают разные подходы — от классического SEO до продвижения по трафику. Я долго изучал эту тему и в итоге остановился на продвижение нового сайта, так как они действительно помогают добиться результатов. Net SEO — это ещё один вариант, который стоит рассмотреть, особенно если вам важна комплексная оптимизация и продвижение сайтов Москва. Не забывайте, что раскрутка сайта Москва требует не только времени, но и грамотной стратегии, которую могут предложить только профессионалы. Если вы ищете качественное seo агентство, то обязательно уточните их опыт и отзывы клиентов — это поможет избежать ошибок. Оптимизация и продвижение сайтов Москва — это процесс, который требует внимания к деталям, поэтому не стоит экономить на специалистах. Лично я убедился, что правильный выбор агентства — это половина успеха, и теперь мой сайт стабильно занимает топовые позиции.

    # outubro 28, 2026
  31. prodvijenie saitov_viOt prodvijenie saitov_viOt

    Сейчас многие компании занимаются продвижением сайтов, но не все делают это качественно. Если вам нужно seo агентство, которое действительно работает на результат, советую обратить внимание на проверенные фирмы. Я лично сталкивался с несколькими интернет агентствами, и могу сказать, что важно выбирать тех, кто специализируется именно на продвижении по трафику. Недавно искал по запросу продвижение в google и нашёл несколько интересных вариантов, включая net seo и seo partners. Если вы из Москвы, то раскрутка сайта москва — это отдельная тема, так как там конкуренция выше и нужно уделять больше внимания деталям. Оптимизация и продвижение сайтов москва требует профессионального подхода, иначе можно просто потерять время и деньги. Поэтому советую не экономить на этом и обращаться к специалистам, которые уже зарекомендовали себя на рынке.

    # outubro 28, 2026
  33. prodvijenie saitov_tbpt prodvijenie saitov_tbpt

    Чтобы ваш сайт привлекал больше клиентов, нужно правильно его продвигать, лучше всего обратиться в интернет-агентство, которое специализируется на SEO. В Москве особенно популярны агентства, которые занимаются продвижением по трафику. Если вы ищете качественное продвижение сайта в Москве, советую посмотреть продвижение сайта цена https://prodvizhenie-sajtov-v-moskve1.ru — там вы найдёте подробную информацию о лучших предложениях. Раскрутка сайта требует времени, но с профессионалами это происходит быстрее.

    # outubro 28, 2026
  34. prodvijenie saitov_toOt prodvijenie saitov_toOt

    Сейчас многие компании занимаются продвижением сайтов, но не все делают это качественно. Если вам нужно seo агентство, которое действительно работает на результат, советую обратить внимание на проверенные фирмы. Я лично сталкивался с несколькими интернет агентствами, и могу сказать, что важно выбирать тех, кто специализируется именно на продвижении по трафику. Недавно искал по запросу раскрутка сайта франция цена и нашёл несколько интересных вариантов, включая net seo и seo partners. Если вы из Москвы, то раскрутка сайта москва — это отдельная тема, так как там конкуренция выше и нужно уделять больше внимания деталям. Оптимизация и продвижение сайтов москва требует профессионального подхода, иначе можно просто потерять время и деньги. Поэтому советую не экономить на этом и обращаться к специалистам, которые уже зарекомендовали себя на рынке.

    # outubro 28, 2026
  35. prodvijenie saitov_gbOt prodvijenie saitov_gbOt

    Сейчас многие компании занимаются продвижением сайтов, но не все делают это качественно. Если вам нужно seo агентство, которое действительно работает на результат, советую обратить внимание на проверенные фирмы. Я лично сталкивался с несколькими интернет агентствами, и могу сказать, что важно выбирать тех, кто специализируется именно на продвижении по трафику. Недавно искал по запросу интернет агентство продвижение сайтов сео и нашёл несколько интересных вариантов, включая net seo и seo partners. Если вы из Москвы, то раскрутка сайта москва — это отдельная тема, так как там конкуренция выше и нужно уделять больше внимания деталям. Оптимизация и продвижение сайтов москва требует профессионального подхода, иначе можно просто потерять время и деньги. Поэтому советую не экономить на этом и обращаться к специалистам, которые уже зарекомендовали себя на рынке.

    # outubro 28, 2026
  36. prodvijenie saitov_evpt prodvijenie saitov_evpt

    Для успешного продвижения сайта важно учитывать множество факторов, стоит доверить это дело опытным специалистам из SEO-агентств. Они помогут вам с оптимизацией и продвижением сайта. Для тех, кто хочет добиться высоких позиций в поисковой выдаче, советую посмотреть продвижение сайта seo combinator https://prodvizhenie-sajtov-v-moskve1.ru — там вы найдёте подробную информацию о лучших предложениях. Раскрутка сайта требует времени, но с профессионалами это происходит быстрее.

    # outubro 28, 2026
  38. reiting seo agentstv_pvkn reiting seo agentstv_pvkn

    Недавно искал информацию по теме рейтинг seo агентств и наткнулся на интересные данные. Оказывается, сейчас множество компаний предлагают услуги продвижения, но не все одинаково эффективны. Особенно полезными оказались топ 10 сео агентств россии 2026, где подробно расписаны сильные и слабые стороны каждой студии. Вбил в поиск топ агентств по комплексному SEO-продвижению и нашёл несколько действительно толковых подборок. Если вам нужно выбрать надёжного исполнителя, советую обратить внимание на рейтинг seo студий — там есть всё, чтобы принять взвешенное решение. Лично мне помогло определиться, и теперь я точно знаю, куда обратиться за качественным продвижением.

    # outubro 28, 2026
  40. Sherman Sherman

    free online casino games no deposit united states, best new zealandn online
    real money pokies and uk casinos free spins, or
    new zealandn online poker alliance

    My site: identity v blackjack cards buy (Sherman)

    # outubro 28, 2026
  41. reiting seo agentstv_bxkn reiting seo agentstv_bxkn

    Недавно искал информацию по теме рейтинг seo агентств и наткнулся на интересные данные. Оказывается, сейчас множество компаний предлагают услуги продвижения, но не все одинаково эффективны. Особенно полезными оказались топ 10 сео агентств россии 2026, где подробно расписаны сильные и слабые стороны каждой студии. Вбил в поиск лучший seo продвижение и нашёл несколько действительно толковых подборок. Если вам нужно выбрать надёжного исполнителя, советую обратить внимание на рейтинг seo студий — там есть всё, чтобы принять взвешенное решение. Лично мне помогло определиться, и теперь я точно знаю, куда обратиться за качественным продвижением.

    # outubro 28, 2026
  42. seo keisi_rcPr seo keisi_rcPr

    Если вы ищете реальные примеры успешного продвижения, стоит изучить успешные seo кейсы. Например, недавно я наткнулся на интересные проекты, где специалисты из seo top 1 добились впечатляющих результатов. Один из них — это продвижение сайта наркологической клиники, где использовалась гибридная структура сайта, что значительно увеличило google посещаемость сайта. Ещё один пример — это создание сайта прогнозов на спорт в Москве, который быстро вышел в топ поисковой выдачи. Если хотите добиться подобных результатов, рекомендую обратиться к профессионалам. Кстати, недавно я искал по запросу гибридная структура сайта и нашёл массу полезной информации по этой теме. Также советую обратить внимание на успешные seo кейсы Санкт-Петербург, чтобы понять, какие стратегии работают лучше всего.

    # outubro 28, 2026
  45. prodvijenie saitov_jlSr prodvijenie saitov_jlSr

    Искал толковые компании занимающиеся продвижением сайтов, чтобы поднять трафик на свой ресурс. Сначала пытался сам разобраться с оптимизацией и seo продвижением сайтов, но быстро понял, что это не моё. Обратился в несколько seo агентств, включая net seo и seo partners, но результат был слабый. Потом наткнулся на интернет агентство продвижение сайтов сео — там всё сделали на совесть, даже больше, чем я ожидал. Теперь мой сайт стабильно держится в топе по ключевым запросам. Если интересует тема seo продвижение сайта заказать https://prodvizhenie-sajtov-v-moskve11.ru, советую обратить внимание на специалистов, которые действительно разбираются в раскрутке сайта москва. Они помогут не только с продвижением по трафику, но и с грамотной оптимизацией и продвижением сайтов москва.

    # outubro 28, 2026
  49. craybet_slea craybet_slea

    I’ve been using Craybet for about two months now and wanted to share some thoughts since I haven’t seen many posts about them in this forum. Registered randomly one night and the whole process took maybe a couple minutes. Min deposit was $10 which is about what you’d expect. Got a welcome bonus — 100 percent match to $500 plus fifty free spins on Sweet Bonanza. Rollover is 35x which could be lower but not the worst I’ve seen.

    Game selection is decent honestly. They’ve got titles from Pragmatic Play, Betsoft, and Microgaming — meaning Book of Dead, Starburst, the usual heavy hitters. Somewhere around 1500-2000 slots total if you count everything. Live casino is powered by Evolution and it’s smooth — played some baccarat and Crazy Time with actual croupiers and zero lag issues.

    Tbh the thing that kinda bugged me was withdrawal times. Tried cashing out with Visa and it took about 48 hours for my first withdrawal. After that though it was faster. Payment options include credit cards, e-wallets like Skrill and Neteller, and crypto which covers most bases. You can look at the full bonus details over at Craybet promo code if you’re interested.

    Mobile experience on Craybet on mobile is actually smooth. There’s no app to download though the mobile site loads fast and slots and live games work fine. I played Book of Dead on my commute and no problems.

    Customer service on Craybet is okay — they have live chat and someone actually responds in under five minutes usually. I contacted them about my verification docs and it was resolved pretty quickly. Not sure about Curacao-based from what I can tell and that’s what most platforms like this. Not everything is amazing — promo codes seem rare — but overall I’m still using it.

    # outubro 28, 2026

Deixe um comentário

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