# HG changeset patch
# User wenzelm
# Date 1260571094 -3600
# Node ID 6c2372c4aefba8a99623a89b54a8629077da75fc
# Parent  d0ff1c3a91ea3809065fa700302d67744f3935e0
handle "default" logic;

diff -r d0ff1c3a91ea -r 6c2372c4aefb src/Tools/jEdit/src/jedit/isabelle_options.scala
--- a/src/Tools/jEdit/src/jedit/isabelle_options.scala	Fri Dec 11 23:29:18 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/isabelle_options.scala	Fri Dec 11 23:38:14 2009 +0100
@@ -19,10 +19,11 @@
 
   override def _init()
   {
+    val logic = Isabelle.Property("logic")
     addComponent(Isabelle.Property("logic.title"), {
-      for (name <- Isabelle.system.find_logics()) {
+      for (name <- "default" :: Isabelle.system.find_logics()) {
         logic_name.addItem(name)
-        if (name == Isabelle.Property("logic"))
+        if (name == logic)
           logic_name.setSelectedItem(name)
       }
       logic_name
diff -r d0ff1c3a91ea -r 6c2372c4aefb src/Tools/jEdit/src/jedit/plugin.scala
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Fri Dec 11 23:29:18 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Fri Dec 11 23:38:14 2009 +0100
@@ -60,7 +60,7 @@
     val modes = system.getenv("JEDIT_PRINT_MODE").split(",").toList.map("-m" + _)
     val logic = {
       val logic1 = Isabelle.Property("logic")
-      if (logic1 != null && logic1 != "") logic1
+      if (logic1 != null && logic1 != "" && logic1 != "default") logic1
       else {
         val logic2 = system.getenv("JEDIT_LOGIC")
         if (logic2 != "") logic2