# HG changeset patch
# User wenzelm
# Date 1263134551 -3600
# Node ID d21c997104c4f53fd36df2e2463b4de7324386d7
# Parent  304a86164dd248122e8a7c6acf089d36737f674c
adhoc reset of blink rate;
bind "console" instance;

diff -r 304a86164dd2 -r d21c997104c4 src/Tools/jEdit/src/jedit/scala_console.scala
--- a/src/Tools/jEdit/src/jedit/scala_console.scala	Sun Jan 10 15:15:04 2010 +0100
+++ b/src/Tools/jEdit/src/jedit/scala_console.scala	Sun Jan 10 15:42:31 2010 +0100
@@ -97,6 +97,8 @@
 
   override def openConsole(console: Console)
   {
+    console.getOutputPane.getCaret.setBlinkRate(0)  // FIXME property!?
+
     val settings = new GenericRunnerSettings(report_error)
     settings.classpath.value = reconstruct_classpath()
 
@@ -106,6 +108,7 @@
     }
     interp.setContextClassLoader
     interp.bind("view", "org.gjt.sp.jedit.View", console.getView)
+    interp.bind("console", "console.Console", console)
     interp.interpret("import isabelle.jedit.Isabelle")
 
     interpreters += (console -> interp)
@@ -122,7 +125,8 @@
      "This shell evaluates Isabelle/Scala expressions.\n\n" +
      "The following special toplevel bindings are provided:\n" +
      "  view      -- current jEdit/Swing view (e.g. view.getBuffer, view.getTextArea)\n" +
-     "  Isabelle  -- main Isabelle plugin instance (e.g. Isabelle.system, Isabelle.session)\n")
+     "  console   -- jEdit Console plugin instance\n" +
+     "  Isabelle  -- Isabelle plugin instance (e.g. Isabelle.system, Isabelle.session)\n")
   }
 
   override def printPrompt(console: Console, out: Output)