Как отключить автокомпиляцию исходного кода Scala в jEdit?

Question

Мне всегда нравилась функция автокомпиляции jEdit с исходниками Scala. Однако теперь я использую «mvn scala: cc» и JavaRebel с проектом Lift, который обеспечивает лучшую компиляцию, чем то, что делает jEdit, и я хотел бы отключить автокомпиляцию jEdit.

Как отключить автокомпиляцию в jEdit, в частности, из источников Scala?

Answer 1

Я предполагаю, что вы используете какой-то плагин, который обеспечивает автокомпиляцию. Я использую jEdit для Scala без какой-либо автоматической компиляции, просто добавив файл режима scala.xml в мой каталог .jedit / mode (вместе с соответствующей записью catalog).

Другими словами, я бы просто удалил плагин, вызывающий автокомпиляцию; это на самом деле не нужно для Scala в jEdit.