Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-06 07:53:43 +08:00
Code Issues Actions 25 Packages Projects Releases Wiki Activity

[gcs] increase track length for intruders

Browse Source
This commit is contained in:
Felix Ruess
2015-10-06 17:44:58 +02:00
parent 27242d50b3
commit 4af9efc852
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/intruders.ml
+1 -1
View File
@@ -30,7 +30,7 @@ type intruder = {
let intruders = Hashtbl.create 1
let new_intruder = fun id name time geomap ->
let track = new MapTrack.track ~size:20 ~icon:"intruder" ~name ~show_carrot:false id geomap in
let track = new MapTrack.track ~size:200 ~icon:"intruder" ~name ~show_carrot:false id geomap in
let intruder = { intruder_track = track; last_update = time } in
Hashtbl.add intruders id intruder