1.1 --- a/lib/jedit/plugin/isabelle_plugin.scala	Mon Aug 25 21:58:54 2008 +0200
     1.2 +++ b/lib/jedit/plugin/isabelle_plugin.scala	Mon Aug 25 21:59:36 2008 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  package isabelle.jedit
     1.6  
     1.7 +import org.gjt.sp.jedit.jEdit
     1.8  import org.gjt.sp.jedit.EditPlugin
     1.9  import org.gjt.sp.util.Log
    1.10  
    1.11 @@ -135,7 +136,15 @@
    1.12  
    1.13      /* Isabelle process */
    1.14  
    1.15 -    isabelle = new IsabelleProcess("-mno_brackets", "-mno_type_brackets", "-mxsymbols")
    1.16 +    val options =
    1.17 +      (for (mode <- jEdit.getProperty("isabelle.print-modes").split("\\s+") if mode != "")
    1.18 +        yield "-m" + mode)
    1.19 +    val args = {
    1.20 +      val logic = jEdit.getProperty("isabelle.logic")
    1.21 +      if (logic != "") List(logic) else Nil
    1.22 +    }
    1.23 +    isabelle = new IsabelleProcess((options ++ args): _*)
    1.24 +
    1.25      consumer_thread.start
    1.26  
    1.27    }