Commit 9c2d9f88 authored by Bruno Guillaume's avatar Bruno Guillaume

-fullscreen option

parent ba126bd7
......@@ -24,6 +24,7 @@ module Grew_args = struct
let grs = ref None
let gui_doc = ref false
let fullscreen = ref false
let old_grs = ref false
let input_data = ref None
......@@ -81,6 +82,7 @@ module Grew_args = struct
"-debug_loop", Unit (fun () -> Rewrite.set_debug_loop ()), " enable loop debug mode\n\nOptions for GUI mode";
(* options for GUI mode *)
"-fullscreen", Unit (fun () -> fullscreen := true), " fullscreen";
"-doc", Unit (fun () -> gui_doc := true), " force to build the GRS doc\n\nOptions for corpus, det and cluster modes";
(* options for corpus, det and cluster mode *)
......
......@@ -964,6 +964,13 @@ let init () =
grew_window#check_widgets ();
grew_window#toplevel#show ();
if !Grew_args.fullscreen
then
begin
grew_window#toplevel#fullscreen ();
grew_window#vpaned#set_position 550;
end;
(* startup load of grs files (which implies loading of the gr file) *)
Resources.current_grs_file := !Grew_args.grs;
load_grs ~strat:!Grew_args.strat ();
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment