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

pretty print of flight plans name in gcs

Browse Source
This commit is contained in:
Gautier Hattenberger
2010-11-11 11:00:32 +00:00
committed by Felix Ruess
parent 65a6e0c6f3
commit 75be6cff96
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/live.ml
+1 -1
View File
@@ -302,7 +302,7 @@ let attributes_pretty_printer = fun attribs ->
let valid = fun a -> let valid = fun a ->
let a = String.lowercase a in let a = String.lowercase a in
a <> "no" && a <> "strip_icon" && a <> "strip_button" && a <> "pre_call" a <> "no" && a <> "strip_icon" && a <> "strip_button" && a <> "pre_call"
&& a <> "post_call" && a <> "key" in && a <> "post_call" && a <> "key" && a <> "group" in
let sprint_opt = fun b s -> let sprint_opt = fun b s ->
if String.length b > 0 then if String.length b > 0 then