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

[pprzlink] try to improve save dialog wording

Browse Source
This commit is contained in:
Felix Ruess
2016-04-01 16:21:02 +02:00
parent 8bc6e8699d
commit ec9ef04fd6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/paparazzicenter.ml
+1 -1
View File
@@ -136,7 +136,7 @@ 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 backup_file_differs () then begin if backup_file_differs () then begin
let rec question_box = fun () -> let rec question_box = fun () ->
match GToolbox.question_box ~title:"Quit" ~buttons:["Save changes"; "Discard changes"; "View changes"; "Cancel"] ~default:1 "Configuration changes have not been saved" with 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
| 2 -> | 2 ->
ignore (Sys.command (sprintf "cp %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));
Sys.remove Utils.backup_xml_file; Sys.remove Utils.backup_xml_file;