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

[pprzcenter] add checkbox to quit dialog

Browse Source
This commit is contained in:
Felix Ruess
2016-04-02 15:39:16 +02:00
parent 070f2804d3
commit 2017a417f4
1 changed files with 23 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/paparazzicenter.ml
+23 -13
View File
@@ -147,20 +147,30 @@ let quit_callback = fun gui ac_combo session_combo target_combo _ ->
let quit_button_callback = fun gui ac_combo session_combo target_combo ?(confirm_quit = true) () -> let quit_button_callback = fun gui ac_combo session_combo target_combo ?(confirm_quit = true) () ->
if (not !always_keep_changes) && backup_file_differs () then begin if (not !always_keep_changes) && backup_file_differs () then begin
let rec question_box = fun () -> let dialog = GWindow.dialog ~title:"Quit" ~modal:true () in
match GToolbox.question_box ~title:"Quit" ~buttons:["Keep changes"; "Restore old version"; "View changes"; "Cancel"] ~default:1 "Configuration has been changed since startup but not saved" with dialog#add_button "Keep changes" `APPLY;
| 2 -> dialog#add_button "Restore old version" `REJECT;
ignore (Sys.command (sprintf "cp %s %s" Utils.backup_xml_file Utils.conf_xml_file)); dialog#add_button "View changes" `HELP;
Sys.remove Utils.backup_xml_file; dialog#add_button "Cancel" `CANCEL;
let _ = GMisc.label ~text:"Configuration has been changed since startup but not saved" ~packing:dialog#vbox#pack () in
let checkbox = GButton.check_button ~label:"Always keep changes" ~active:!always_keep_changes ~packing:dialog#vbox#pack () in
ignore (checkbox#connect#toggled (fun () ->
always_keep_changes := checkbox#active;
gui#menu_item_always_keep_changes#set_active checkbox#active;));
match dialog#run () with
`APPLY ->
Sys.remove Utils.backup_xml_file;
quit_callback gui ac_combo session_combo target_combo () quit_callback gui ac_combo session_combo target_combo ()
| 3 -> | `REJECT ->
ignore (Sys.command (sprintf "meld %s %s" Utils.backup_xml_file Utils.conf_xml_file)); ignore (Sys.command (sprintf "cp %s %s" Utils.backup_xml_file Utils.conf_xml_file));
question_box () Sys.remove Utils.backup_xml_file;
| 1 -> quit_callback gui ac_combo session_combo target_combo ()
Sys.remove Utils.backup_xml_file; | `HELP ->
quit_callback gui ac_combo session_combo target_combo () ignore (Sys.command (sprintf "meld %s %s" Utils.backup_xml_file Utils.conf_xml_file))
| _ -> () in | `CANCEL ->
question_box () dialog#destroy ()
| _ -> ()
end else begin end else begin
if Sys.file_exists Utils.backup_xml_file then if Sys.file_exists Utils.backup_xml_file then
Sys.remove Utils.backup_xml_file; Sys.remove Utils.backup_xml_file;