# HG changeset patch
# User wenzelm
# Date 1316779995 -7200
# Node ID 86c9b73158a89f9680b07eab504c0fbbb90a0a35
# Parent  bbd7eac14df3502db1ae972fb6bd12542331cecf
default print mode for Isabelle/Scala, not just Isabelle/jEdit;

diff -r bbd7eac14df3 -r 86c9b73158a8 src/Pure/Syntax/syntax_trans.ML
--- a/src/Pure/Syntax/syntax_trans.ML	Fri Sep 23 14:12:09 2011 +0200
+++ b/src/Pure/Syntax/syntax_trans.ML	Fri Sep 23 14:13:15 2011 +0200
@@ -12,7 +12,11 @@
 signature SYNTAX_TRANS =
 sig
   include BASIC_SYNTAX_TRANS
+  val bracketsN: string
+  val no_bracketsN: string
   val no_brackets: unit -> bool
+  val type_bracketsN: string
+  val no_type_bracketsN: string
   val no_type_brackets: unit -> bool
   val abs_tr: term list -> term
   val mk_binder_tr: string * string -> string * (term list -> term)
diff -r bbd7eac14df3 -r 86c9b73158a8 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Fri Sep 23 14:12:09 2011 +0200
+++ b/src/Pure/System/isabelle_process.ML	Fri Sep 23 14:13:15 2011 +0200
@@ -179,8 +179,10 @@
     val _ = Context.set_thread_data NONE;
     val _ =
       Unsynchronized.change print_mode
-        (fold (update op =)
-          [Symbol.xsymbolsN, isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]);
+        (fn mode =>
+          (mode @ [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN])
+          |> fold (update op =)
+            [Symbol.xsymbolsN, isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]);
 
     val channel = rendezvous ();
     val _ = setup_channels channel;
diff -r bbd7eac14df3 -r 86c9b73158a8 src/Tools/jEdit/etc/settings
--- a/src/Tools/jEdit/etc/settings	Fri Sep 23 14:12:09 2011 +0200
+++ b/src/Tools/jEdit/etc/settings	Fri Sep 23 14:13:15 2011 +0200
@@ -10,7 +10,7 @@
 
 JEDIT_STYLE_SHEETS="$ISABELLE_HOME/etc/isabelle.css:$JEDIT_HOME/etc/isabelle-jedit.css:$ISABELLE_HOME_USER/etc/isabelle.css:$ISABELLE_HOME_USER/etc/isabelle-jedit.css"
 
-ISABELLE_JEDIT_OPTIONS="-m no_brackets -m no_type_brackets"
+ISABELLE_JEDIT_OPTIONS=""
 
 ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools"