mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-06-07 17:49:49 +08:00
expand blocks at init
This commit is contained in:
@@ -156,6 +156,10 @@ class flight_plan = fun ?edit geomap color fp_dtd xml ->
|
||||
end)
|
||||
(XmlEdit.children xml_wpts) in
|
||||
|
||||
let _ =
|
||||
XmlEdit.expand_node xml_tree_view xml_root;
|
||||
let blocks = XmlEdit.child xml_root "blocks" in
|
||||
XmlEdit.expand_node xml_tree_view blocks in
|
||||
|
||||
object
|
||||
method georef = ref_wgs84
|
||||
|
||||
Reference in New Issue
Block a user