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=
casinos online que posibilidades hay de ganar en un casino te regalan dinero por registrarte
casino de juegos de casino Sin depositar
en ingles
juego de Requisitos Para Entrar A Un Casino En EspañA
basico
jugar juegos de casino union jaquesa gratis tragamonedas con bonos
jugar juegos de casino slot de casino
maquinas tragamonedas descargar
jugar por internet casino (Janina) blackjack gratis
declarar Premios casino online depósito mínimo 1 real
Этот документ охватывает важные аспекты медицинской науки, сосредотачиваясь на ключевых вопросах, касающихся здоровья населения. Мы рассматриваем свежие исследования, клинические рекомендации и лучшие практики, которые помогут улучшить качество лечения и профилактики заболеваний. Читатели получат возможность углубиться в различные медицинские дисциплины.
Получить профессиональную консультацию – поставить капельницу от алкоголя в мытищах
Много раз сталкивался с необходимостью продвижения сайтов, и могу сказать, что это не такая простая задача, как кажется на первый взгляд. Если вас интересует продвижение сайта, то стоит обратить внимание на сео агентство, которые предлагают комплексный подход. Особенно важно учитывать продвижение по трафику, так как это напрямую влияет на эффективность. В своё время я искал по запросу seo ru продвижение сайтов и нашёл несколько оптимизация и seo продвижение сайтов москва, которые действительно помогли мне с продвижением. Рекомендую не торопиться с выбором и тщательно изучить все доступные варианты, чтобы не переплачивать за ненужные услуги.
juegos de casino casinos españa giros gratis por registrarse sin depósito
sin descargar ni registrarse jugar ahora
Где найти качественные статьи по интернет-маркетингу? Коллега посоветовал на интересный сайт, где собраны полезные статьи по продвижению сайтов. Рекомендую посмотреть категорию с кейсами. Решил проверить по запросу seo блог https://seo-blog15.ru — там полезных заметок об этом. Добавил в закладки — контент действительно полезная. Может, посоветуете что-то ещё?
Ищу полезные материалы по SEO и маркетингу — подскажите, где читать? Нашёл случайно на интересный сайт, где собраны полезные статьи по продвижению сайтов. Рекомендую посмотреть категорию с кейсами. Решил проверить по запросу блог интернет-маркетинга https://seo-blog15.ru — там очень много статей на эту тему. Часто захожу — контент на уровне. Кто ещё знает подобные ресурсы?
jugar juegos de azar gratis Cual es el Mejor casino online
Для успешного продвижения сайта важно учитывать множество факторов, лучше всего обратиться в интернет-агентство, которое специализируется на SEO. Такие компании, как Net SEO или SEO Partners, предлагают комплексные услуги по раскрутке сайтов. Для тех, кто хочет добиться высоких позиций в поисковой выдаче, советую посмотреть net seo https://prodvizhenie-sajtov-v-moskve1.ru — там вы найдёте подробную информацию о лучших предложениях. Не забывайте, что грамотная оптимизация и продвижение сайтов — это залог успеха вашего бизнеса.