Как добавить режим редактирования в 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>

Вы можете скопировать файл scala.xml в $JEDIT_HOME/mode

Может быть, эта установка JEdit со Scala может помочь вам?

Это относится к JEdit, полностью настроенному для запуска проектов Scala.

http://liftweb.net/images/9/91/Screenshot-jedit.png

Другие вопросы по тегам