Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-06 16:58:48 +08:00
Code Issues Actions 24 Packages Projects Releases Wiki Activity

add ~type_hint:`DIALOG ~modal:true attributes to waypoint dialog window to keep it on top

Browse Source
This commit is contained in:
Pascal Brisset
2009-08-22 06:29:44 +00:00
parent 6801c13e4e
commit bf2373d798
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/mapWaypoints.ml
+1 -1
View File
@@ -96,7 +96,7 @@ class waypoint = fun ?(show = true) (wpts_group:group) (name :string) ?(alt=0.)
wpt_group#move dx dy;
wpt_group#raise_to_top ()
method edit =
let dialog = GWindow.window ~position:`MOUSE ~border_width:10 ~title:"Waypoint Edit" () in
let dialog = GWindow.window ~type_hint:`DIALOG ~modal:true ~position:`MOUSE ~border_width:10 ~title:"Waypoint Edit" () in
let dvbx = GPack.box `VERTICAL ~packing:dialog#add () in
let ename = GEdit.entry ~text:name ~editable ~packing:dvbx#add () in