From 8165afe68f10d668b928626dd02db590f2ab3223 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 18 Nov 2019 10:55:29 +0100
Subject: [PATCH] [Gui] add 'Reset to factory settings' to Preferences panel
---
src/plugins/gui/file_manager.ml | 24 ++++++++++++++++++++++++
src/plugins/gui/gtk_helper.ml | 2 ++
src/plugins/gui/gtk_helper.mli | 1 +
3 files changed, 27 insertions(+)
diff --git a/src/plugins/gui/file_manager.ml b/src/plugins/gui/file_manager.ml
index cec5d5568bc..dbb6c0b9601 100644
--- a/src/plugins/gui/file_manager.ml
+++ b/src/plugins/gui/file_manager.ml
@@ -171,6 +171,30 @@ let preferences (host_window: Design.main_window_extension_points) =
(* Save and cancel buttons. *)
let hbox_buttons = dialog#action_area in
let packing = hbox_buttons#pack ~expand:true ~padding:3 in
+
+ let reset_box = GPack.vbox ~spacing:5 ~border_width:10 () in
+ main_box#pack reset_box#coerce;
+ let reset_packing = reset_box#pack in
+ let reset_button = GButton.button
+ ~label:"Reset GUI to factory defaults" ~packing:reset_packing ()
+ in
+ ignore (reset_button#event#connect#button_release
+ ~callback:(fun _ ->
+ let answer =
+ GToolbox.question_box
+ ~title:"Reset GUI to factory defaults?"
+ ~buttons:["Reset GUI" ; "Cancel"] ~default:2
+ "This will restore all GUI-related settings \
+ to factory defaults,\n\
+ including panel sizes and preferences."
+ in
+ if answer = 1 then begin
+ Gtk_helper.Configuration.reset ();
+ GToolbox.message_box
+ ~title:"GUI reset"
+ "GUI reset will take place after restarting Frama-C.";
+ end; false));
+
let wb_ok = GButton.button ~label:"Save" ~packing () in
let wb_cancel = GButton.button ~label:"Cancel" ~packing () in
wb_ok#grab_default ();
diff --git a/src/plugins/gui/gtk_helper.ml b/src/plugins/gui/gtk_helper.ml
index 24f8b32bd9b..0580f8f6054 100644
--- a/src/plugins/gui/gtk_helper.ml
+++ b/src/plugins/gui/gtk_helper.ml
@@ -51,6 +51,8 @@ module Configuration = struct
with Gui_parameters.Config.No_dir -> ""
let load () = loadConfiguration (configuration_file ())
let save () = saveConfiguration (configuration_file ())
+ let reset () = Extlib.safe_remove (configuration_file ());
+ loadConfiguration (configuration_file ())
let () = Cmdline.at_normal_exit save
let set = setConfiguration
diff --git a/src/plugins/gui/gtk_helper.mli b/src/plugins/gui/gtk_helper.mli
index c0724625445..13d7715a7e7 100644
--- a/src/plugins/gui/gtk_helper.mli
+++ b/src/plugins/gui/gtk_helper.mli
@@ -74,6 +74,7 @@ module Configuration: sig
val load : unit -> unit
val save : unit -> unit
+ val reset: unit -> unit
val set : string -> configData -> unit
(** Set a configuration element, with a key. Overwrites the previous values *)
--
GitLab