# 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 =>