--- a/src/Tools/jEdit/jedit_main/scala_console.scala Thu Apr 21 10:07:17 2022 +0200
+++ b/src/Tools/jEdit/jedit_main/scala_console.scala Thu Apr 21 11:28:50 2022 +0200
@@ -92,10 +92,11 @@
def interrupt(): Unit = running.change({ opt => opt.foreach(_.interrupt()); opt })
private val interp =
- Scala.Compiler.context(error = report_error, jar_dirs = JEdit_Lib.directories).
- interpreter(
- print_writer = new PrintWriter(console_writer, true),
- class_loader = new JARClassLoader)
+ Scala.Compiler.context(
+ error = report_error,
+ jar_dirs = JEdit_Lib.directories,
+ class_loader = Some(new JARClassLoader)).
+ interpreter(new PrintWriter(console_writer, true))
val thread: Consumer_Thread[Request] = Consumer_Thread.fork("Scala_Console") {
case Start(console) =>