Giteabot
8302b95d6b
Avoid polluting config file when "save" ( #25395 ) ( #25406 )
...
Backport #25395 by @wxiaoguang
That's a longstanding INI package problem: the "MustXxx" calls change
the option values, and the following "Save" will save a lot of garbage
options into the user's config file.
Ideally we should refactor the INI package to a clear solution, but it's
a huge work.
A clear workaround is what this PR does: when "Save", load a clear INI
instance and save it.
Partially fix #25377 , the "install" page needs more fine tunes.
Co-authored-by: wxiaoguang <wxiaoguang@gmail.com>
2023-06-21 04:51:26 +00:00
..
2023-06-14 08:36:52 +02:00
2023-06-14 08:36:52 +02:00
2023-02-20 00:12:01 +08:00
2023-02-20 00:12:01 +08:00
2023-04-12 18:16:45 +08:00
2023-04-12 18:16:45 +08:00
2023-06-14 08:36:52 +02:00
2023-06-14 08:36:52 +02:00
2023-02-20 00:12:01 +08:00
2023-02-20 00:12:01 +08:00
2023-06-02 17:27:30 +08:00
2023-06-02 17:27:30 +08:00
2023-06-21 04:51:26 +00:00
2023-06-21 04:51:26 +00:00
2023-04-19 15:30:10 -04:00
2023-05-08 19:49:59 +08:00
2023-02-20 00:12:01 +08:00
2022-11-27 18:20:29 +00:00
2022-11-27 18:20:29 +00:00
2023-05-21 22:35:11 +00:00
2023-02-20 00:12:01 +08:00
2023-05-28 01:07:14 +00:00
2023-05-28 01:07:14 +00:00
2023-02-20 00:12:01 +08:00
2023-02-20 00:12:01 +08:00
2023-02-20 00:12:01 +08:00
2022-11-27 18:20:29 +00:00
2023-05-25 16:13:47 +08:00
2023-06-14 08:36:52 +02:00
2023-06-21 04:51:26 +00:00
2023-05-21 22:35:11 +00:00
2023-05-21 22:35:11 +00:00
2023-05-10 04:57:06 +00:00
2023-05-16 22:55:51 +02:00
2023-04-26 11:22:54 -04:00
2023-02-20 00:12:01 +08:00
2023-02-20 00:12:01 +08:00
2023-02-20 00:12:01 +08:00
2023-06-18 20:56:50 +00:00
2023-06-21 04:51:26 +00:00
2023-04-22 19:38:25 -04:00
2023-06-14 08:36:52 +02:00
2023-06-14 08:36:52 +02:00
2023-06-14 08:36:52 +02:00
2023-02-20 00:12:01 +08:00
2023-02-20 00:12:01 +08:00
2023-05-08 19:49:59 +08:00
2023-06-14 08:36:52 +02:00
2023-06-14 08:36:52 +02:00
2023-06-14 08:36:52 +02:00
2023-06-21 04:51:26 +00:00
2023-05-21 22:35:11 +00:00
2023-05-22 00:05:44 +00:00
2023-05-22 00:05:44 +00:00
2023-04-13 15:45:33 -04:00
2022-11-27 18:20:29 +00:00
2023-06-21 04:51:26 +00:00
2023-04-11 14:34:28 +08:00
2023-06-14 08:36:52 +02:00
2023-06-14 08:36:52 +02:00
2023-02-20 16:18:26 -06:00
2023-04-29 22:51:43 +02:00
2023-05-31 02:07:04 +00:00
2023-02-20 00:12:01 +08:00