src/Pure/System/isabelle_process.ML
changeset 49566 66cbf8bb4693
parent 49108 61e222517d06
child 49647 21ae8500d261
     1.1 --- a/src/Pure/System/isabelle_process.ML	Tue Sep 25 20:28:47 2012 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Sep 25 22:36:06 2012 +0200
     1.3 @@ -161,6 +161,10 @@
     1.4  
     1.5  (* init *)
     1.6  
     1.7 +val default_modes1 = [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN];
     1.8 +val default_modes2 =
     1.9 +  [Symbol.xsymbolsN, isabelle_processN, Pretty.symbolicN, Graph_Display.graphview_reportN];
    1.10 +
    1.11  fun init rendezvous = ignore (Simple_Thread.fork false (fn () =>
    1.12    let
    1.13      val _ = OS.Process.sleep (seconds 0.5);  (*yield to raw ML toplevel*)
    1.14 @@ -174,9 +178,7 @@
    1.15      val _ = Context.set_thread_data NONE;
    1.16      val _ =
    1.17        Unsynchronized.change print_mode
    1.18 -        (fn mode =>
    1.19 -          (mode @ [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN])
    1.20 -          |> fold (update op =) [Symbol.xsymbolsN, isabelle_processN, Pretty.symbolicN]);
    1.21 +        (fn mode => (mode @ default_modes1) |> fold (update op =) default_modes2);
    1.22  
    1.23      val channel = rendezvous ();
    1.24      val _ = init_channels channel;