src/Tools/jEdit/src/jedit/session_dockable.scala

--- a/src/Tools/jEdit/src/jedit/session_dockable.scala	Mon Sep 27 20:26:10 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/session_dockable.scala	Mon Sep 27 21:16:42 2010 +0200
@@ -10,8 +10,7 @@
 import isabelle._
 
 import scala.actors.Actor._
-import scala.swing.{FlowPanel, Button, TextArea, Label, ScrollPane, TabbedPane,
-  Component, Swing, CheckBox}
+import scala.swing.{FlowPanel, Button, TextArea, Label, ScrollPane, TabbedPane, Component, Swing}
 import scala.swing.event.{ButtonClicked, SelectionChanged}
 
 import java.awt.BorderLayout
@@ -55,14 +54,10 @@
   session_phase.border = new SoftBevelBorder(BevelBorder.LOWERED)
   session_phase.tooltip = "Prover status"
 
-  private val auto_start = new CheckBox("Auto start") {
-    selected = Isabelle.Boolean_Property("auto-start")
-    reactions += {
-      case ButtonClicked(_) =>
-        Isabelle.Boolean_Property("auto-start") = selected
-        if (selected) Isabelle.start_session()
-    }
+  private val interrupt = new Button("Interrupt") {
+    reactions += { case ButtonClicked(_) => Isabelle.session.interrupt }
   }
+  interrupt.tooltip = "Broadcast interrupt to all prover tasks"
 
   private val logic = Isabelle.logic_selector(Isabelle.Property("logic"))
   logic.listenTo(logic.selection)
@@ -70,13 +65,8 @@
     case SelectionChanged(_) => Isabelle.Property("logic") = logic.selection.item.name
   }
 
-  private val interrupt = new Button("Interrupt") {
-    reactions += { case ButtonClicked(_) => Isabelle.session.interrupt }
-  }
-  interrupt.tooltip = "Broadcast interrupt to all prover tasks"
-
   private val controls =
-    new FlowPanel(FlowPanel.Alignment.Right)(session_phase, auto_start, logic, interrupt)
+    new FlowPanel(FlowPanel.Alignment.Right)(session_phase, interrupt, logic)
   add(controls.peer, BorderLayout.NORTH)