src/Tools/jEdit/src/isabelle.scala
changeset 52974 908e8a36e975
parent 52816 c608e0ade554
child 53021 d0fa3f446b9d
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Mon Aug 12 11:56:12 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Mon Aug 12 12:06:48 2013 +0200
     1.3 @@ -70,7 +70,7 @@
     1.4      if (continuous_checking != b) {
     1.5        PIDE.options.bool(CONTINUOUS_CHECKING) = b
     1.6        PIDE.options_changed()
     1.7 -      PIDE.flush_buffers()
     1.8 +      PIDE.editor.flush()
     1.9      }
    1.10    }
    1.11