wxiaoguang  
		
	
	df5cf5ddbd 
	
	
	Avoid polluting config file when "save" ( #25395 )  
		
			... 
			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. 
		
	 
 
		2023-06-21 10:31:40 +08:00 
	 
	
	
	
		  ..
	 
	
	
		
			
			
			
			
			
			2023-06-14 11:42:38 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-14 11:42:38 +08: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 11:42:38 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-14 11:42:38 +08: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 10:31:40 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-21 10:31:40 +08: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 11:42:38 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-21 10:31:40 +08: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 16:10:44 +00:00 
		 
	
		
			
			
			
			
			
			2023-06-21 10:31:40 +08:00 
		 
	
		
			
			
			
			
			
			2023-04-22 19:38:25 -04:00 
		 
	
		
			
			
			
			
			
			2023-06-14 11:42:38 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-14 11:42:38 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-14 11:42:38 +08: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 11:42:38 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-14 11:42:38 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-14 11:42:38 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-21 10:31:40 +08: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 10:31:40 +08:00 
		 
	
		
			
			
			
			
			
			2023-04-11 14:34:28 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-14 11:42:38 +08:00 
		 
	
		
			
			
			
			
			
			2023-06-14 11:42:38 +08: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