Изменить размер символов [Netbeans 7]

Может я что-то не понял... Но если надо просто увеличить размер шрифта, я устанавливаю курсор мыши над текстом кода и нажав Ctrl кручу колесико мыши.

Нет, совсем другое. Я менял шрифт и его размер на тот, который мне нужен. Все поменялось, кроме некоторых символов (почему-то в html синтаксисе), и теперь скобки, двоеточия и некоторые другие символы имеют размер 18 а весь остальной текст 13.

Тогда может в разделе «All Languages» категория «Default» установить общий шрифт, а потом менять его только там где необходимо? Там во многих местах стоит Inherited.

В том то и дело, что там установлен нужный шрифт, и там где наследуется везде указан он, и 13 размер.
Единственный вариант который приходит в голову, это изменить код который указан как пример для настройки шрифтов html синтаксиса и вставить туда символы, которые имеют другой размер и таким образом настроить. Но поменять его насколько я понял нереально, примеры находятся в *.jar файле.

jar-файл - это обычный zip

если нужно править жабокод (class-файлы), то они довольно просто декомпилируются через Jad (http://www.varaneckas.com/jad/) или JD (http://java.decompiler.free.fr/), причем начать стоит с JD

вообще, Бобы свободны и есть в исходниках (hg clone http://hg.netbeans.org/main). Можно скачать, поправить в скачанном нужный тебе файл, и собрать по инструкции (http://wiki.netbeans.org/WorkingWithNetBeansSources или http://ritwikghoshal.blogspot.com/2008/09/build-netbeans-ide-from-source-gett..., только версии софта поновее). Билдится просто впечатыванием в консоль слова ant.

Удачного секоса :)

В том то и дело, что там установлен нужный шрифт, и там где наследуется везде указан он, и 13 размер.

УМВР, не могу повторить. У меня эти скобки в атрибутах наследуются от All Languages->Default.

Ага спасибо.
Заменил пример, не помогло. Просто не выбираются вообще кавычки.

В итоге сделал все заново, жаль что бобы от версии к версии набирают новых глюков.