Как добавить режим редактирования в jEdit? - PullRequest
Новая
       17

Как добавить режим редактирования в jEdit?

5 голосов
/ 09 января 2009

В поисках облегченной среды разработки Scala я наткнулся на режим редактирования Scala для jEdit. Хотя я не знаю, как его использовать. Как поставить новый режим редактирования в jEdit?

Ответы [ 3 ]

5 голосов
/ 09 января 2009

Все это можно найти в справке jEdit, используя jEdit -> Написание режимов редактирования -> Установка режимов редактирования. Но, если вы похожи на меня и в первый раз попробовали StackOverflow, вот и все.

Поместите файл режима (в данном случае scala.xml) в каталог «mode» в домашнем каталоге jEdit - его можно найти через меню «Утилиты» - если вы хотите его для всех пользователей, или «режимы "каталог в директории настроек пользователя 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>
0 голосов
/ 09 января 2009

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

0 голосов
/ 09 января 2009

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

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

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

...