discontinued "Interrupt", which could disturb administrative tasks of the document model;
authorwenzelm
Sat Aug 20 20:24:12 2011 +0200 (2011-08-20)
changeset 44335156be0e43336
parent 44334 605381e7c7c5
child 44336 59ff5a93eef4
discontinued "Interrupt", which could disturb administrative tasks of the document model;
src/Tools/jEdit/src/session_dockable.scala
     1.1 --- a/src/Tools/jEdit/src/session_dockable.scala	Sat Aug 20 20:00:55 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/session_dockable.scala	Sat Aug 20 20:24:12 2011 +0200
     1.3 @@ -54,19 +54,13 @@
     1.4    session_phase.border = new SoftBevelBorder(BevelBorder.LOWERED)
     1.5    session_phase.tooltip = "Prover status"
     1.6  
     1.7 -  private val interrupt = new Button("Interrupt") {
     1.8 -    reactions += { case ButtonClicked(_) => Isabelle.session.interrupt }
     1.9 -  }
    1.10 -  interrupt.tooltip = "Broadcast interrupt to all prover tasks"
    1.11 -
    1.12    private val logic = Isabelle.logic_selector(Isabelle.Property("logic"))
    1.13    logic.listenTo(logic.selection)
    1.14    logic.reactions += {
    1.15      case SelectionChanged(_) => Isabelle.Property("logic") = logic.selection.item.name
    1.16    }
    1.17  
    1.18 -  private val controls =
    1.19 -    new FlowPanel(FlowPanel.Alignment.Right)(session_phase, interrupt, logic)
    1.20 +  private val controls = new FlowPanel(FlowPanel.Alignment.Right)(session_phase, logic)
    1.21    add(controls.peer, BorderLayout.NORTH)
    1.22  
    1.23