diff --git a/sw/supervision/paparazzicenter.glade b/sw/supervision/paparazzicenter.glade index 409620e2c8..73063de5a2 100644 --- a/sw/supervision/paparazzicenter.glade +++ b/sw/supervision/paparazzicenter.glade @@ -160,6 +160,15 @@ + + + Autosave on quit + True + False + False + + + New build target diff --git a/sw/supervision/paparazzicenter.ml b/sw/supervision/paparazzicenter.ml index 7e8312d702..d0caaabb01 100644 --- a/sw/supervision/paparazzicenter.ml +++ b/sw/supervision/paparazzicenter.ml @@ -176,6 +176,10 @@ let quit_window_callback = fun gui ac_combo session_combo target_combo _ -> quit_button_callback gui ac_combo session_combo target_combo ~confirm_quit:false (); true +let keep_changes_callback = fun gui _ -> + always_keep_changes := gui#menu_item_always_keep_changes#active; + () + (************************** Main *********************************************) let () = let session = ref "" @@ -280,6 +284,9 @@ let () = let session_combo, execute_session = CP.supervision ~file gui log ac_combo target_combo in + (* Autosave on quit check box *) + ignore (gui#menu_item_always_keep_changes#connect#toggled ~callback:(keep_changes_callback gui)); + (* Quit button *) ignore (gui#menu_item_quit#connect#activate ~callback:(quit_button_callback gui ac_combo session_combo target_combo)); @@ -342,6 +349,8 @@ let () = read_preferences gui Env.gconf_file ac_combo session_combo target_combo end; + gui#menu_item_always_keep_changes#set_active !always_keep_changes; + (* Run the command line session *) if !session <> "" then begin Gtk_tools.select_in_combo session_combo !session;