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

update (ctrl-l) fixed

Browse Source
This commit is contained in:
Pascal Brisset
2006-08-24 14:53:56 +00:00
parent 7dc70b48c0
commit c509025865
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/gcs.ml
+1 -1
View File
@@ -377,7 +377,7 @@ let create_geomap = fun window ->
ignore (geomap#canvas#event#connect#motion_notify (motion_notify geomap)); ignore (geomap#canvas#event#connect#motion_notify (motion_notify geomap));
ignore (geomap#canvas#event#connect#any (any_event geomap)); ignore (geomap#canvas#event#connect#any (any_event geomap));
ignore (menu_fact#add_item "Redraw" ~key:GdkKeysyms._L ~callback:geomap#canvas#update_now); ignore (menu_fact#add_item "Redraw" ~key:GdkKeysyms._L ~callback:(fun _ -> geomap#canvas#misc#draw None));
let switch_fullscreen = fun x -> let switch_fullscreen = fun x ->
if x then if x then
window#fullscreen () window#fullscreen ()