From 8506f12a59b4422c852a820859d26f01503c8073 Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Sun, 7 Dec 2014 01:10:49 +0100 Subject: [PATCH] [cockpit] add tooltip for current settings value label --- sw/ground_segment/cockpit/page_settings.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/sw/ground_segment/cockpit/page_settings.ml b/sw/ground_segment/cockpit/page_settings.ml index d84278c5af2..acf799aca3d 100644 --- a/sw/ground_segment/cockpit/page_settings.ml +++ b/sw/ground_segment/cockpit/page_settings.ml @@ -208,6 +208,7 @@ let one_setting = fun (i:int) (do_change:int -> float -> unit) packing dl_settin in ignore (commit_but#connect#clicked ~callback); tooltips#set_tip commit_but#coerce ~text:"Commit"; + tooltips#set_tip current_value#coerce ~text:"Current value, click to request update."; (* Undo button *) let undo_but = GButton.button ~packing:hbox#pack () in