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

connect to delete event instead of destroy event

Browse Source
This commit is contained in:
Pascal Brisset
2008-09-02 07:59:22 +00:00
parent 542eda2a66
commit dca30a0e48
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/paparazzicenter.ml
+2 -2
View File
@@ -122,7 +122,7 @@ let write_preferences = fun (gui:Gtk_pc.window) file (ac_combo:Utils.combo) (ses
Printf.fprintf f "%s\n" (ExtXml.to_string_fmt xml); Printf.fprintf f "%s\n" (ExtXml.to_string_fmt xml);
close_out f close_out f
let quit_callback = fun gui ac_combo session_combo target_combo () -> let quit_callback = fun gui ac_combo session_combo target_combo _ ->
CP.close_programs gui; CP.close_programs gui;
write_preferences gui Env.gconf_file ac_combo session_combo target_combo; write_preferences gui Env.gconf_file ac_combo session_combo target_combo;
exit 0 exit 0
@@ -236,7 +236,7 @@ let () =
(* Quit button *) (* Quit button *)
ignore (gui#menu_item_quit#connect#activate ~callback:(quit_button_callback gui ac_combo session_combo target_combo)); ignore (gui#menu_item_quit#connect#activate ~callback:(quit_button_callback gui ac_combo session_combo target_combo));
ignore (gui#window#connect#destroy ~callback:(quit_callback gui ac_combo session_combo target_combo)); ignore (gui#window#event#connect#delete ~callback:(quit_callback gui ac_combo session_combo target_combo));
let callback = fun () -> let callback = fun () ->
fullscreen := not !fullscreen; fullscreen := not !fullscreen;