src/Tools/jEdit/src/isabelle.scala
changeset 53715 68c664737d04
parent 53497 07bb77881b8d
child 53843 88c6e630c15f
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Wed Sep 18 16:18:17 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Wed Sep 18 20:09:26 2013 +0200
     1.3 @@ -9,6 +9,9 @@
     1.4  
     1.5  import isabelle._
     1.6  
     1.7 +import scala.swing.CheckBox
     1.8 +import scala.swing.event.ButtonClicked
     1.9 +
    1.10  import org.gjt.sp.jedit.{jEdit, View, Buffer}
    1.11  import org.gjt.sp.jedit.textarea.JEditTextArea
    1.12  import org.gjt.sp.jedit.gui.{DockableWindowManager, CompleteWord}
    1.13 @@ -112,6 +115,14 @@
    1.14    def reset_continuous_checking() { continuous_checking = false }
    1.15    def toggle_continuous_checking() { continuous_checking = !continuous_checking }
    1.16  
    1.17 +  class Continuous_Checking extends CheckBox("Continuous checking")
    1.18 +  {
    1.19 +    tooltip = "Continuous checking of proof document (visible and required parts)"
    1.20 +    reactions += { case ButtonClicked(_) => continuous_checking = selected }
    1.21 +    def load() { selected = continuous_checking }
    1.22 +    load()
    1.23 +  }
    1.24 +
    1.25  
    1.26    /* required document nodes */
    1.27