From 31c80a5e0c8724635eff173a64b88604de595367 Mon Sep 17 00:00:00 2001 From: Christian Kaiser Date: Thu, 5 Sep 2024 18:05:58 -0300 Subject: [PATCH] Add reset preferences page (fix #4432, #4620) --- data/strings/en.ini | 9 + data/widgets/options.xml | 15 + src/app/commands/cmd_options.cpp | 541 ++++++++++++++++++++----------- src/app/pref/option.h | 14 +- src/app/pref/preferences.h | 2 +- src/app/ui/skin/skin_theme.h | 4 +- src/gen/pref_types.cpp | 40 ++- 7 files changed, 421 insertions(+), 204 deletions(-) diff --git a/data/strings/en.ini b/data/strings/en.ini index 4e7049cdc..5889f5b74 100644 --- a/data/strings/en.ini +++ b/data/strings/en.ini @@ -111,6 +111,7 @@ overwrite_existent_file = Warning< + + @@ -605,6 +607,19 @@ pref="tileset.cache_compressed_tilesets" /> + + + + + + + + + + +