discontinued "Interrupt", which could disturb administrative tasks of the document model;
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