Ich weiß schon über den Scala-Compiler bescheid, benutze aber lieber fsc, da dauert das kompilieren nicht ganz so lang. Nur ich schreibe gerade ein Programm für einen Wettbewerb und da ich die faulen Jury-Mitglieder kenne, schicke ich ihnen lieber eine .jar, damit sich keiner den Zwang antun muss Scala herunterzuladen (wofür die bei ein paar tausend Teilnehmern sowieso keine Zeit haben).
Ich benutze jetzt Gedit, weil der schön schnell, stabil und sauber läuft. Nicht so viel Schnickschnack. Code-Highlighting funktioniert auch gut für Scala; aber da es dort keinen Execute-Button gibt habe ich mir ein kleines Shell-Script geschrieben und rufe dieses immer durch den in Gedit integrierten Terminal auf.
Das einzige was ich noch vermisse ist eine automatisch-einrücken-Funktion :/
Viele Grüße