# HG changeset patch
# User wenzelm
# Date 1354827283 -3600
# Node ID 1fac4ff86381132e081802147032fdcfb986f263
# Parent  ebc118cd232a9f8d9ba88ac6bf7cd00b3565f236
discontinued option jedit_auto_start, which is somewhat pointless as there is no manual session start within Isabelle/jEdit;

diff -r ebc118cd232a -r 1fac4ff86381 src/Tools/jEdit/etc/options
--- a/src/Tools/jEdit/etc/options	Thu Dec 06 21:53:35 2012 +0100
+++ b/src/Tools/jEdit/etc/options	Thu Dec 06 21:54:43 2012 +0100
@@ -3,9 +3,6 @@
 option jedit_logic : string = ""
   -- "default logic session"
 
-option jedit_auto_start : bool = true
-  -- "auto-start prover session on editor startup"
-
 option jedit_font_scale : real = 1.0
   -- "scale factor of add-on panels wrt. main text area"
 
diff -r ebc118cd232a -r 1fac4ff86381 src/Tools/jEdit/src/isabelle_options.scala
--- a/src/Tools/jEdit/src/isabelle_options.scala	Thu Dec 06 21:53:35 2012 +0100
+++ b/src/Tools/jEdit/src/isabelle_options.scala	Thu Dec 06 21:54:43 2012 +0100
@@ -41,7 +41,7 @@
 {
   // FIXME avoid hard-wired stuff
   private val relevant_options =
-    Set("jedit_logic", "jedit_auto_start", "jedit_font_scale", "jedit_text_overview_limit",
+    Set("jedit_logic", "jedit_font_scale", "jedit_text_overview_limit",
       "jedit_tooltip_font_scale", "jedit_symbols_search_limit", "jedit_tooltip_margin",
       "threads", "threads_trace", "parallel_proofs", "parallel_proofs_threshold", "ML_statistics",
       "editor_load_delay", "editor_input_delay", "editor_output_delay", "editor_reparse_limit",
diff -r ebc118cd232a -r 1fac4ff86381 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Thu Dec 06 21:53:35 2012 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Thu Dec 06 21:54:43 2012 +0100
@@ -232,8 +232,7 @@
     if (PIDE.startup_failure.isEmpty) {
       message match {
         case msg: EditorStarted =>
-          if (PIDE.options.bool("jedit_auto_start"))
-            PIDE.session.start(Isabelle_Logic.session_args())
+          PIDE.session.start(Isabelle_Logic.session_args())
 
         case msg: BufferUpdate
         if msg.getWhat == BufferUpdate.LOADED || msg.getWhat == BufferUpdate.PROPERTIES_CHANGED =>