Как я добавляю режим редактирования к jEdit?
Служба технической поддержки Google помогла мне решить эту проблему для нашей организации. Ответ - изменить продолжительность сеанса для G-Suite.
Шаг 1. Отключите Google Hangouts и чат Google Hangouts для своей организации.
Шаг 2. Подождав пару минут, включите их снова.
Шаг 3. Измените продолжительность сеанса G-Suite на то, что вы хотите. Hangouts и Hangouts Chat останутся в системе вне зависимости от продолжительности сеанса. (Если вы выберете «неопределенный», он всегда останется в системе, даже когда вы включите / выключите компьютер.)
3 ответа
Все это может быть найдено справку внутреннего jEdit, Используя jEdit-> Пишущий Режимы редактирования-> Устанавливающий Режимы редактирования. Но, если Вы похожи на меня и попробовали StackOverflow сначала, вот за исключением него.
Поместите файл режима (в этом случае, scala.xml) в каталоге "режимов" в jEdit корневом каталоге - это может быть найдено через меню Utilities - если Вы хотите это для всех пользователей или каталога "режимов" в настройках jEdit пользователя diretory - который может также быть найден через меню Utilities - если новый режим должен использоваться только одним пользователем.
После этого отредактируйте файл "каталог" в том же самом каталоге. Это содержит список поддерживаемых режимов. Если Вы будете работать над каталогом настроек, то не будет никаких примеров для использования в качестве ссылки, но каталог в корневом каталоге имеет много.
Каталог каталога настроек был бы похож на это для режима, на который ссылаются:
<?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.
Можно скопировать файл scala.xml в $JEDIT_HOME/modes