Dart-Editor Скрыть / удалить панели инструментов

поскольку dart действительно построен вокруг этого ужасного редактора dart, я бы, по крайней мере, хотел сделать его как можно более похожим на emacs.

Я уже использую файл gtk, чтобы установить все на минимум, но я не могу понять, как скрыть системную панель (Файл, Изменить, ...) и панель инструментов (Выполнить, ...), а также нижняя панель, показывающая положение в тексте и т. д.

Можно ли скрыть (все) эти панели инструментов?

Есть ли ярлык для открытия/закрытия файлового браузера, чтобы мне не приходилось постоянно его открывать?

Спасибо!


person elfeck    schedule 28.09.2014    source источник


Ответы (1)


Вы не можете.

DartEditor был создан для простого начала работы с Dart, он достаточно мощный и адаптирован для Dart.
Если вам нужны дополнительные или другие функции, рассмотрите возможность использования одного из других поддерживаемых редакторов или IDE.

См. https://www.dartlang.org/tools/ для списка редакторов или IDE, которые имеют Поддержка дартс.

Поддержка Sublime недавно была значительно улучшена, и WebStorm 9 (предварительная версия) также уже имеет неплохую поддержку Dart.
Я еще не пробовал другие.

person Günter Zöchbauer    schedule 28.09.2014
comment
Спасибо за ваш ответ! Я использую emacs для большей части работы, которую мне приходится выполнять, и я бы очень хотел использовать его для дартса. Что меня оттолкнуло, так это прерванный рабочий процесс: поиск простых орфографических/синтаксических ошибок, потому что я не получаю никакой помощи, кроме вывода pub-serve. Есть какие-нибудь способы улучшить эту ситуацию? - person elfeck; 28.09.2014
comment
Я никогда по-настоящему не пользовался Emacs и не знаю, какую функциональность предоставляет плагин Dart. Насколько я понимаю, текущая работа над сервисом-анализатором должна упростить интеграцию с другими IDE. - person Günter Zöchbauer; 29.09.2014