--- a/src/Tools/jEdit/jedit_main/scala_console.scala Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Tools/jEdit/jedit_main/scala_console.scala Fri Apr 01 23:19:12 2022 +0200
@@ -89,7 +89,7 @@
private class Interpreter {
private val running = Synchronized[Option[Thread]](None)
- def interrupt(): Unit = running.change(opt => { opt.foreach(_.interrupt()); opt })
+ def interrupt(): Unit = running.change({ opt => opt.foreach(_.interrupt()); opt })
private val interp =
Scala.Compiler.context(error = report_error, jar_dirs = JEdit_Lib.directories).