Как добавить режим редактирования в jEdit?
В поисках облегченной среды разработки Scala я наткнулся на режим редактирования Scala для jEdit. Хотя я не знаю, как его использовать. Как поставить новый режим редактирования в jEdit?
3 ответа
Все это можно найти в справке jEdit, используя jEdit -> Написание режимов редактирования -> Установка режимов редактирования. Но, если вы похожи на меня и сначала попробовали Stackru, вот в чем суть.
Поместите файл режима (в данном случае scala.xml) в каталог "mode" в домашнем каталоге jEdit - его можно найти в меню "Утилиты" - если вы хотите, чтобы он был для всех пользователей, или в каталоге "mode" в пользовательская директория настроек jEdit - которую также можно найти через меню Утилиты - если новый режим должен использоваться только одним пользователем.
После этого отредактируйте файл "каталог" внутри той же директории. Содержит список поддерживаемых режимов. Если вы работаете с каталогом настроек, примеров для справки не будет, но в каталоге внутри домашнего каталога их достаточно.
Каталог каталога настроек будет выглядеть следующим образом для ссылочного режима:
<?xml version="1.0"?>
<!DOCTYPE MODES SYSTEM "catalog.dtd">
<MODES>
<!-- Add lines like the following, one for each edit mode you add: -->
<!-- <MODE NAME="foo" FILE="foo.xml" FILE_NAME_GLOB="*.foo" /> -->
<MODE NAME="scala" FILE="scala.xml"
FILE_NAME_GLOB="*.scala" />
</MODES>
Может быть, эта установка JEdit со Scala может помочь вам?
Это относится к JEdit, полностью настроенному для запуска проектов Scala.