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

Bug fixed: canvas#update_now is not thread safe

Browse Source
This commit is contained in:
Pascal Brisset
2006-03-14 06:36:53 +00:00
parent fe25277836
commit 6bcf3a04ce
2 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/map2d.ml
+2 -2
View File
@@ -282,8 +282,7 @@ let center = fun geomap track () ->
match track#last with
None -> ()
| Some geo ->
geomap#center geo;
geomap#canvas#update_now ()
geomap#center geo
let active_dl_settings = fun ac_id x ->
@@ -701,6 +700,7 @@ let _ =
let _active_vertical = fun x ->
if x then vertical_situation#show () else vertical_situation#misc#hide () in
ignore (geomap#menu_fact#add_item "Quit" ~key:GdkKeysyms._Q ~callback:quit);
ignore (geomap#menu_fact#add_item "Redraw" ~key:GdkKeysyms._L ~callback:geomap#canvas#update_now);
(* Maps handling *)
let map_menu = geomap#factory#add_submenu "Maps" in
sw/lib/ocaml/mapGoogle.ml
+1 -2
View File
@@ -148,5 +148,4 @@ let fill_window = fun (geomap:MapCanvas.widget) ->
New_displayed z when z = zoom ->
trees.(i) <- Tile
| Gm.Not_available -> () in
loop (-1.) (-1.) 2. [|gm_tiles|] 0 18 "t";
geomap#canvas#update_now ()
loop (-1.) (-1.) 2. [|gm_tiles|] 0 18 "t"