--- a/src/Tools/jEdit/src/jedit/Plugin.scala Tue Jan 27 18:53:12 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala Tue Jan 27 18:58:16 2009 +0100
@@ -39,6 +39,12 @@
var system: IsabelleSystem = null
def symbols = system.symbols
+ // settings
+ def default_logic = {
+ val logic = Isabelle.Property("logic")
+ if (logic != null) logic else Isabelle.system.getenv_strict("ISABELLE_LOGIC")
+ }
+
// plugin instance
var plugin: Plugin = null
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala Tue Jan 27 18:53:12 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala Tue Jan 27 18:58:16 2009 +0100
@@ -34,8 +34,7 @@
val output_text_view = new JTextArea
def activate(view: View) {
- val logic = Isabelle.Property("logic")
- prover.start(if (logic != null) logic else Isabelle.system.getenv_strict("ISABELLE_LOGIC"))
+ prover.start(Isabelle.default_logic)
val buffer = view.getBuffer
val dir = buffer.getDirectory