Database: added "parameters" field in Statistics table. GUI: detecting if parameters in database are different from the Preferences, if so ask user to update them.

2026-10-08 02:57:46 +08:00 · 2016-06-13 17:34:17 -04:00
parent 3edb133727
commit 38a7993a9b
14 changed files with 294 additions and 47 deletions
@@ -82,6 +82,7 @@ CREATE TABLE Statistics (
 	process_mem_used INTEGER,
 	database_mem_used INTEGER,
 	dictionary_size INTEGER,
+	parameters TEXT,
 	time_enter DATE
 );