Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-28 09:58:23 +08:00
Code Issues Actions 31 Packages Projects Releases Wiki Activity

[cockpit] add tooltip for current settings value label

Browse Source
This commit is contained in:
Felix Ruess
2014-12-07 01:10:49 +01:00
parent 1ac47a6c57
commit d5827f9be3
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/page_settings.ml
+1
View File
@@ -208,6 +208,7 @@ let one_setting = fun (i:int) (do_change:int -> float -> unit) packing dl_settin
in in
ignore (commit_but#connect#clicked ~callback); ignore (commit_but#connect#clicked ~callback);
tooltips#set_tip commit_but#coerce ~text:"Commit"; tooltips#set_tip commit_but#coerce ~text:"Commit";
tooltips#set_tip current_value#coerce ~text:"Current value, click to request update.";
(* Undo button *) (* Undo button *)
let undo_but = GButton.button ~packing:hbox#pack () in let undo_but = GButton.button ~packing:hbox#pack () in