Commit 5995fdfc authored by erwan's avatar erwan
Browse files

Update: show the legitimate button when sasa is used with internal daemons

parent 056f5fd0
(* Time-stamp: <modified the 28/05/2021 (at 09:16) by Erwan Jahier> *)
(* Time-stamp: <modified the 28/05/2021 (at 10:12) by Erwan Jahier> *)
#thread
#require "lablgtk3"
......@@ -24,7 +24,6 @@ let rdbg_nodes_info e: (string * string * bool) list =
| _, [] | _, [_] | _, [_;_] -> assert false (* should not occur (naming conv) *)
| false, _::x::y -> x, String.concat "_" y
| true, _::x::y::z -> x^y, String.concat "_" z
| _ -> assert false
in
p, label,v
in
......@@ -81,11 +80,11 @@ let (fake_val_of_type : Data.t -> Data.v) = function
(**********************************************************************************)
(* Write with colors *)
let create_tags (buffer:GText.buffer) =
buffer#create_tag ~name:"blue_foreground" [`FAMILY "monospace"; `FOREGROUND "blue"];
buffer#create_tag ~name:"black_foreground" [`FAMILY "monospace"; `FOREGROUND "black"];
buffer#create_tag ~name:"red_foreground" [`FAMILY "monospace"; `FOREGROUND "red"];
buffer#create_tag ~name:"green_foreground" [`FAMILY "monospace"; `FOREGROUND "green"];
buffer#create_tag ~name:"red_background" [`BACKGROUND "red"];
ignore (buffer#create_tag ~name:"blue_foreground" [`FAMILY "monospace"; `FOREGROUND "blue"]);
ignore (buffer#create_tag ~name:"black_foreground" [`FAMILY "monospace"; `FOREGROUND "black"]);
ignore (buffer#create_tag ~name:"red_foreground" [`FAMILY "monospace"; `FOREGROUND "red"]);
ignore (buffer#create_tag ~name:"green_foreground" [`FAMILY "monospace"; `FOREGROUND "green"]);
ignore (buffer#create_tag ~name:"red_background" [`BACKGROUND "red"]);
()
let tags_created = ref false
......@@ -155,6 +154,7 @@ let init_rdbg_hook () =
let activate = match enabled with (* activate the Enabled actions! *)
| B true -> B to_activate
| B false -> B false
| _ -> assert false
in
(str, activate)
) sl
......@@ -581,8 +581,8 @@ let main () =
if custom_mode then legitimate_gui() else legitimate ())
)
);
legitimate_button#misc#hide(); (* indeed, in the defaut mode (manual central),
it should be hided *)
if custom_mode then legitimate_button#misc#hide();
(* indeed, in the defaut mode (manual central), it should be hided *)
let rec next_round_gui rn =
ze_step();
if rn < !roundnb || is_silent !e then () else (next_round_gui rn)
......
Supports Markdown
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