src/Tools/jEdit/src/plugin.scala
changeset 49524 68796a77c42b
parent 49523 dc0670364008
child 49701 e2762f962042
--- a/src/Tools/jEdit/src/plugin.scala	Sat Sep 22 14:03:01 2012 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Sat Sep 22 14:41:41 2012 +0200
@@ -344,8 +344,10 @@
 
       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) {
         override def output_delay = Time.seconds(Isabelle.options.real("editor_output_delay"))
+        override def reparse_limit = Isabelle.options.int("editor_reparse_limit")
       }
 
       Isabelle.session.phase_changed += session_manager