equal
deleted
inserted
replaced
104 { |
104 { |
105 override def parentClassLoader = new JARClassLoader |
105 override def parentClassLoader = new JARClassLoader |
106 } |
106 } |
107 interp.setContextClassLoader |
107 interp.setContextClassLoader |
108 interp.bind("view", "org.gjt.sp.jedit.View", console.getView) |
108 interp.bind("view", "org.gjt.sp.jedit.View", console.getView) |
109 interp.bind("session", "isabelle.proofdocument.Session", Isabelle.session) |
109 interp.interpret("import isabelle.jedit.Isabelle") |
110 |
110 |
111 interpreters += (console -> interp) |
111 interpreters += (console -> interp) |
112 } |
112 } |
113 |
113 |
114 override def closeConsole(console: Console) |
114 override def closeConsole(console: Console) |
119 override def printInfoMessage(out: Output) |
119 override def printInfoMessage(out: Output) |
120 { |
120 { |
121 out.print(null, |
121 out.print(null, |
122 "This shell evaluates Isabelle/Scala expressions.\n\n" + |
122 "This shell evaluates Isabelle/Scala expressions.\n\n" + |
123 "The following special toplevel bindings are provided:\n" + |
123 "The following special toplevel bindings are provided:\n" + |
124 " view -- current jEdit/Swing view (e.g. view.getBuffer, view.getTextArea)\n" + |
124 " view -- current jEdit/Swing view (e.g. view.getBuffer, view.getTextArea)\n" + |
125 " session -- Isabelle session (e.g. session.isabelle_system)\n") |
125 " Isabelle -- main Isabelle plugin instance (e.g. Isabelle.system, Isabelle.session)\n") |
126 } |
126 } |
127 |
127 |
128 override def printPrompt(console: Console, out: Output) |
128 override def printPrompt(console: Console, out: Output) |
129 { |
129 { |
130 out.writeAttrs(ConsolePane.colorAttributes(console.getInfoColor), "scala>") |
130 out.writeAttrs(ConsolePane.colorAttributes(console.getInfoColor), "scala>") |