How do I disable auto-compilation of Scala source in jEdit?

Posted by Daniel on Stack Overflow See other posts from Stack Overflow or by Daniel
Published on 2009-09-14T14:03:53Z Indexed on 2010/04/15 19:03 UTC
Read the original article Hit count: 328

Filed under:
|

I have always liked the auto-compilation feature of jEdit with Scala sources. Now, however, I'm using "mvn scala:cc" and JavaRebel with a Lift project, which provides better compilation than what jEdit does, and I'd like to disable jEdit's auto-compilation.

How do I disable auto-compilation in jEdit, of Scala sources, in particular?

© Stack Overflow or respective owner

Related posts about jedit

Related posts about scala