src/Tools/jEdit/src/scala_console.scala
changeset 71782 a57035ae9029
parent 71700 6c39c3be85df
child 71850 f640380aaf86
equal deleted inserted replaced
71781:3fd54f7f52b0 71782:a57035ae9029
   132 
   132 
   133     private val interp = new IMain(settings, new PrintWriter(console_writer, true))
   133     private val interp = new IMain(settings, new PrintWriter(console_writer, true))
   134     {
   134     {
   135       override def parentClassLoader = new JARClassLoader
   135       override def parentClassLoader = new JARClassLoader
   136     }
   136     }
   137     interp.setContextClassLoader
       
   138 
   137 
   139     val thread: Consumer_Thread[Request] = Consumer_Thread.fork("Scala_Console")
   138     val thread: Consumer_Thread[Request] = Consumer_Thread.fork("Scala_Console")
   140     {
   139     {
   141       case Start(console) =>
   140       case Start(console) =>
   142         interp.bind("view", "org.gjt.sp.jedit.View", console.getView)
   141         interp.bind("view", "org.gjt.sp.jedit.View", console.getView)