How to disable automatic compilation of Scala source in jEdit?
I've always liked jEdit's auto-compilation feature with Scala sources. Now, however, I am using "mvn scala: cc" and JavaRebel with the Lift project, which provides better compilation than what jEdit does, and I would like to disable the automatic compilation of jEdit.
How can I disable automatic compilation in jEdit, from Scala sources in particular?
I am assuming you are using some kind of plugin that provides automatic compilation. I am using jEdit for Scala without any automatic compilation whatsoever, just adding a mode file scala.xml
to my .jedit / modes directory (along with the appropriate entry catalog
).
In other words, I'll just remove all plugins that cause automatic compilation; this is really not necessary for Scala in jEdit.