From b28286898f81f34f82ca1cf762925dba2f030b22 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 2 Apr 2021 10:34:41 +0200
Subject: [PATCH] chore
---
test/coloring/my-rdbg-tuning.ml | 5 +++--
tools/rdbg4sasa/daemongui.ml | 6 ++++--
2 files changed, 7 insertions(+), 4 deletions(-)
diff --git a/test/coloring/my-rdbg-tuning.ml b/test/coloring/my-rdbg-tuning.ml
index e1e92156..24a13f09 100644
--- a/test/coloring/my-rdbg-tuning.ml
+++ b/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;;
diff --git a/tools/rdbg4sasa/daemongui.ml b/tools/rdbg4sasa/daemongui.ml
index 4192fb4d..59a596d6 100644
--- a/tools/rdbg4sasa/daemongui.ml
+++ b/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
*)
--
GitLab