src/Tools/jEdit/src/session_dockable.scala
changeset 44335 156be0e43336
parent 44297 b3bd26fd22d3
child 44609 6ec4a5eb2fc0
equal deleted inserted replaced
44334:605381e7c7c5 44335:156be0e43336
    52 
    52 
    53   val session_phase = new Label(Isabelle.session.phase.toString)
    53   val session_phase = new Label(Isabelle.session.phase.toString)
    54   session_phase.border = new SoftBevelBorder(BevelBorder.LOWERED)
    54   session_phase.border = new SoftBevelBorder(BevelBorder.LOWERED)
    55   session_phase.tooltip = "Prover status"
    55   session_phase.tooltip = "Prover status"
    56 
    56 
    57   private val interrupt = new Button("Interrupt") {
       
    58     reactions += { case ButtonClicked(_) => Isabelle.session.interrupt }
       
    59   }
       
    60   interrupt.tooltip = "Broadcast interrupt to all prover tasks"
       
    61 
       
    62   private val logic = Isabelle.logic_selector(Isabelle.Property("logic"))
    57   private val logic = Isabelle.logic_selector(Isabelle.Property("logic"))
    63   logic.listenTo(logic.selection)
    58   logic.listenTo(logic.selection)
    64   logic.reactions += {
    59   logic.reactions += {
    65     case SelectionChanged(_) => Isabelle.Property("logic") = logic.selection.item.name
    60     case SelectionChanged(_) => Isabelle.Property("logic") = logic.selection.item.name
    66   }
    61   }
    67 
    62 
    68   private val controls =
    63   private val controls = new FlowPanel(FlowPanel.Alignment.Right)(session_phase, logic)
    69     new FlowPanel(FlowPanel.Alignment.Right)(session_phase, interrupt, logic)
       
    70   add(controls.peer, BorderLayout.NORTH)
    64   add(controls.peer, BorderLayout.NORTH)
    71 
    65 
    72 
    66 
    73   /* main actor */
    67   /* main actor */
    74 
    68