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

set dialog hint type for windows

Browse Source
This commit is contained in:
Pascal Brisset
2009-08-22 07:50:28 +00:00
parent 6d6f332a12
commit 8e0b68d5b4
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/tmtc/messages.ml
+1 -1
View File
@@ -199,7 +199,7 @@ let _ =
(** Open the window container with its notebook*)
let icon = GdkPixbuf.from_file Env.icon_file in
let window = GWindow.window ~icon ~title:"Messages" () in
let window = GWindow.window ~type_hint:`DIALOG ~icon ~title:"Messages" () in
let quit = fun () -> GMain.Main.quit (); exit 0 in
ignore (window#connect#destroy ~callback:quit);
sw/simulator/sim.ml
+1 -1
View File
@@ -121,7 +121,7 @@ module Make(AircraftItl : AIRCRAFT_ITL) = struct
let main () =
let icon = GdkPixbuf.from_file Env.icon_file in
let window = GWindow.window ~icon ~title: !ac_name () in
let window = GWindow.window ~type_hint:`DIALOG ~icon ~title: !ac_name () in
let quit = fun () -> GMain.Main.quit (); exit 0 in
ignore (window#connect#destroy ~callback:quit);
let vbox = GPack.vbox ~packing:window#add () in