Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-04 22:17:01 +08:00
Code Issues Actions 30 Packages Projects Releases Wiki Activity

cleaning

Browse Source
This commit is contained in:
Pascal Brisset
2006-08-20 19:43:00 +00:00
parent 53e8f91aee
commit 345f980793
8 changed files with 170 additions and 176 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/strip.ml
+2 -1
View File
@@ -97,7 +97,8 @@ let add config color select center_ac commit_moves mark =
(** set a label *)
let set_label strip name value =
let _eb, l = List.assoc (name^"_value") strip.labels in
l#set_label value
if l#text <> value then
l#set_label value
(** set a label *)
let set_color strip name color =