src/Tools/jEdit/src/plugin.scala
changeset 49288 2c9272cb4568
parent 49272 97f8cb455691
child 49406 38db4832b210
--- a/src/Tools/jEdit/src/plugin.scala	Tue Sep 11 16:10:54 2012 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Tue Sep 11 19:19:39 2012 +0200
@@ -260,7 +260,7 @@
   /* theory files */
 
   private lazy val delay_load =
-    Swing_Thread.delay_last(Time.seconds(Isabelle.options.real("jedit_load_delay")))
+    Swing_Thread.delay_last(Time.seconds(Isabelle.options.real("editor_load_delay")))
     {
       val view = jEdit.getActiveView()
 
@@ -406,7 +406,9 @@
 
       val content = Isabelle_Logic.session_content(false)
       val thy_load = new JEdit_Thy_Load(content.loaded_theories, content.syntax)
-      Isabelle.session = new Session(thy_load)
+      Isabelle.session = new Session(thy_load) {
+        override def output_delay = Time.seconds(Isabelle.options.real("editor_output_delay"))
+      }
 
       Isabelle.session.phase_changed += session_manager
       Isabelle.startup_failure = None