Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-02 05:17:03 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

Bug fixed: sneding value while no one is availabale for undo

Browse Source
This commit is contained in:
Pascal Brisset
2006-10-18 06:03:16 +00:00
parent 025d2fed5c
commit 6ddf161a14
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/pages.ml
+2 -1
View File
@@ -208,6 +208,7 @@ let one_setting = fun i do_change packing s (tooltips:GData.tooltips) strip ->
let _n = truncate ((upper -. lower) /. step_incr) in
let commit =
if step_incr = 1. && upper -. lower <= 2. then
(* Discrete values: radio buttons *)
let ilower = truncate lower
and iupper = truncate upper in
let label = Printf.sprintf "%d" ilower in
@@ -233,7 +234,7 @@ let one_setting = fun i do_change packing s (tooltips:GData.tooltips) strip ->
commit_but#set_border_width 2;
let _icon = GMisc.image ~stock:`APPLY ~packing:commit_but#add () in
let callback = fun x ->
prev_value := Some (float_of_string _v#text);
prev_value := (try Some (float_of_string _v#text) with _ -> None);
commit x
in
ignore (commit_but#connect#clicked ~callback);