jedit.ru

Можно ли добавить следующие опции в настройках:

- возможность убрать заголовок окна при включенном режиме draw window borders using swing look&feel. Еще лучше, если эта опция будет доступна всегда. Окно редактора почти всегда максимизировано и особой надобности в заголовке в этом случае нет.

- не показывать полоску с кнопками док панелей если все панели скрыты или даже вообще никогда не показывать. У меня на все доки повешены хоткеи и эта полоска просто занимает лишнее место.

- убирать горизонтальную полосу прокрутки, если текст вписывается по ширине.

- прячущееся меню. Отображать/прятать по нажатию хоткея, прятать при потере им фокуса ввода.

- прячущийся статус бар. Поведение аналогично меню.

Ну уж получше "дефолтного" конечно