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
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