src/Tools/jEdit/src/theories_dockable.scala
changeset 53715 68c664737d04
parent 53711 8ce7795256e1
child 54531 8330faaeebd5
child 54652 07ee041537a5
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Wed Sep 18 16:18:17 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Wed Sep 18 20:09:26 2013 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  import scala.actors.Actor._
     1.5  import scala.swing.{Button, TextArea, Label, ListView, Alignment,
     1.6    ScrollPane, Component, CheckBox, BorderPanel}
     1.7 -import scala.swing.event.{ButtonClicked, MouseClicked, MouseMoved}
     1.8 +import scala.swing.event.{MouseClicked, MouseMoved}
     1.9  
    1.10  import java.lang.System
    1.11  import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension}
    1.12 @@ -73,12 +73,7 @@
    1.13      session_phase.text = " " + phase_text(phase) + " "
    1.14    }
    1.15  
    1.16 -  private val continuous_checking = new CheckBox("Continuous checking") {
    1.17 -    tooltip = "Continuous checking of proof document (visible and required parts)"
    1.18 -    reactions += { case ButtonClicked(_) => Isabelle.continuous_checking = selected }
    1.19 -    def load() { selected = Isabelle.continuous_checking }
    1.20 -    load()
    1.21 -  }
    1.22 +  private val continuous_checking = new Isabelle.Continuous_Checking
    1.23  
    1.24    private val logic = Isabelle_Logic.logic_selector(true)
    1.25