Come disabilitare la compilazione automatica del sorgente Scala in jEdit?

Question

Mi è sempre piaciuta la funzione di compilazione automatica di jEdit con fonti Scala. Ora, tuttavia, sto usando " mvn scala: cc " e JavaRebel con un progetto Lift, che fornisce una compilazione migliore di quella di jEdit, e mi piacerebbe disabilitare la compilazione automatica di jEdit.

Come disabilitare la compilazione automatica in jEdit, in particolare dei sorgenti Scala?

Answer 1

Suppongo che tu stia utilizzando una sorta di plugin che fornisce la compilazione automatica. Uso jEdit per Scala senza alcuna compilazione automatica, semplicemente aggiungendo il file della modalità scala.xml alla mia directory .jedit / modes (insieme alla voce catalog appropriata ).

In altre parole, rimuoverei semplicemente qualunque plugin stia causando la compilazione automatica; in realtà non è necessario per Scala in jEdit.