Commit c0a9864b authored by Sylvain Dailler's avatar Sylvain Dailler

Connecting delete event to exit_function callback. Allow catching clicks

on cross button.
parent 2f5ad68f
......@@ -346,6 +346,9 @@ let file_factory = new GMenu.factory file_menu ~accel_group
let (_ : GtkSignal.id) = main_window#connect#destroy
~callback:exit_function_safe
let (_ : GtkSignal.id) = main_window#event#connect#delete
~callback:(fun _ -> exit_function_safe (); true)
(* 1.2 "View" menu
the entries in that menu are defined later
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment