Comment désactiver la compilation automatique de source Scala dans jEdit?

Question

J'ai toujours aimé la fonction de compilation automatique de jEdit avec des sources Scala. Maintenant, cependant, j'utilise "mvn scala: cc" et JavaRebel avec un projet Lift, qui fournit une meilleure compilation que ce que fait jEdit, et j'aimerais désactiver la compilation automatique de jEdit.

Comment désactiver la compilation automatique dans jEdit, des sources Scala en particulier?

Answer 1

Je suppose que vous utilisez une sorte de plugin qui fournit une compilation automatique. J'utilise jEdit pour Scala sans aucune auto-compilation, simplement en ajoutant le fichier mode scala.xml à mon répertoire .jedit/modes (avec l'entrée catalog appropriée). En d'autres termes, je supprimerais simplement le plugin qui provoque la compilation automatique; ce n'est pas vraiment nécessaire pour Scala dans jEdit.