equal
deleted
inserted
replaced
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) |