Ir ao conteúdo

Netbeans 6.5.1, Espaçamento..

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

17.458 Comentários

  1. Cuando necesitas hacer cambios en tu casa, es fundamental contar con empresas de servicios profesionales que ofrezcan asistencia completa. En mi experiencia, los servicios de limpieza son igual de importantes que las reformas en sí. Si buscas servicios generales eficientes, te recomiendo que investigues a fondo. Por ejemplo, yo me decidí por una empresa que cubre desde el servicio doméstico hasta el mantenimiento continuo. En cuanto al tema mantenimiento del hogar, es crucial comparar precios y leer opiniones antes de tomar una decisión. Además, no subestimes la importancia de un buen servicio postventa y garantías claras. Al final, lo que importa es que tu hogar quede como lo soñaste.

Deixe um comentário

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