added system option "jedit_print_mode";
authorwenzelm
Mon Dec 30 20:35:17 2013 +0100 (2013-12-30)
changeset 54881dff57132cf18
parent 54880 ce5faf131fd3
child 54882 61276a7fc369
added system option "jedit_print_mode";
NEWS
src/Doc/System/Interfaces.thy
src/Tools/jEdit/etc/options
src/Tools/jEdit/src/isabelle_logic.scala
     1.1 --- a/NEWS	Mon Dec 30 12:58:13 2013 +0100
     1.2 +++ b/NEWS	Mon Dec 30 20:35:17 2013 +0100
     1.3 @@ -25,6 +25,11 @@
     1.4  * Document panel: simplied interaction where every single mouse click
     1.5  (re)opens document via desktop environment or as jEdit buffer.
     1.6  
     1.7 +* Option "jedit_print_mode" (see also "Plugin Options / Isabelle /
     1.8 +General") allows to specify additional print modes for the prover
     1.9 +process, without requiring old-fashioned command-line invocation of
    1.10 +"isabelle jedit -m MODE".
    1.11 +
    1.12  
    1.13  *** HOL ***
    1.14  
     2.1 --- a/src/Doc/System/Interfaces.thy	Mon Dec 30 12:58:13 2013 +0100
     2.2 +++ b/src/Doc/System/Interfaces.thy	Mon Dec 30 20:35:17 2013 +0100
     2.3 @@ -38,7 +38,10 @@
     2.4    option bypasses the session build dialog.
     2.5  
     2.6    The @{verbatim "-m"} option specifies additional print modes for the
     2.7 -  prover process.
     2.8 +  prover process.  Note that the system option @{system_option
     2.9 +  jedit_print_mode} allows to do the same persistently (e.g.\ via the
    2.10 +  Plugin Options dialog of Isabelle/jEdit), without requiring
    2.11 +  command-line invocation.
    2.12  
    2.13    The @{verbatim "-J"} and @{verbatim "-j"} options allow to pass
    2.14    additional low-level options to the JVM or jEdit, respectively.  The
     3.1 --- a/src/Tools/jEdit/etc/options	Mon Dec 30 12:58:13 2013 +0100
     3.2 +++ b/src/Tools/jEdit/etc/options	Mon Dec 30 20:35:17 2013 +0100
     3.3 @@ -3,6 +3,9 @@
     3.4  public option jedit_logic : string = ""
     3.5    -- "default logic session"
     3.6  
     3.7 +public option jedit_print_mode : string = ""
     3.8 +  -- "default print modes for output, separated by commas (change requires restart)"
     3.9 +
    3.10  public option jedit_auto_load : bool = false
    3.11    -- "load all required files automatically to resolve theory imports"
    3.12  
     4.1 --- a/src/Tools/jEdit/src/isabelle_logic.scala	Mon Dec 30 12:58:13 2013 +0100
     4.2 +++ b/src/Tools/jEdit/src/isabelle_logic.scala	Mon Dec 30 20:35:17 2013 +0100
     4.3 @@ -60,8 +60,11 @@
     4.4  
     4.5    def session_args(): List[String] =
     4.6    {
     4.7 -    val modes = space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE")).map("-m" + _)
     4.8 -    modes ::: List("-r", "-q", jedit_logic())
     4.9 +    val modes =
    4.10 +      space_explode(',', PIDE.options.string("jedit_print_mode")) :::
    4.11 +      space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE"))
    4.12 +
    4.13 +    modes.map("-m" + _) ::: List("-r", "-q", jedit_logic())
    4.14    }
    4.15  
    4.16    def session_dirs(): List[Path] = Path.split(Isabelle_System.getenv("JEDIT_SESSION_DIRS"))