chore

test/coloring/my-rdbg-tuning.ml

@@ -3,10 +3,11 @@
 #use "rdbg-cmds.ml";;
 #use "sasa-rdbg-cmds.ml";;
 
-#use "include.ml";;
+#use "include.ml";; 
 
 let _ =
   del_hook "print_event";
-  add_hook "print_event" (print_event)
+  add_hook "print_event" (print_event);
+  main()
 
 let pp () = List.assoc "potential" !e.data;;

tools/rdbg4sasa/daemongui.ml

@@ -326,7 +326,7 @@ let main () =
   ignore(dk_manual_central#connect#clicked ~callback:set_manual_central_mode);
   (* Affichage d'informations *)
   gtext#buffer#set_text !gtext_content;
-  let print_gui str =
+  let _print_gui str =
     let txt = Printf.sprintf "%s\n%s" str (str_of_sasa_event true !e) in
     gtext#buffer#set_text txt;
     gtext_content := txt;
@@ -399,5 +399,7 @@ let m = main
 - cacher le bouton step en mode manuel central 
 - faire les modes automatiques
 - reglage de la taille des boites 
-
+- utiliser les GEdit.spin_button ?
+    cf lablgtk/examples/spin.ml
+    https://lazka.github.io/pgi-docs/Gtk-3.0/classes/SpinButton.html#Gtk.SpinButton
  *)