FileManager: tell plugins to save settings on close (#5872)

So that Statistics settings modified while in FileManager
are saved.
Also allows resetting statistics when in FileManager
(where there is no current book id to exclude).
This commit is contained in:
poire-z
2020-02-17 16:53:09 +01:00
committed by GitHub
parent 95d18fe8d9
commit c2a5d3f3f3
3 changed files with 11 additions and 5 deletions

View File

@@ -972,9 +972,11 @@ function ReaderDictionary:onReadSettings(config)
end
function ReaderDictionary:onSaveSettings()
logger.dbg("save default dictionary", self.default_dictionary)
self.ui.doc_settings:saveSetting("default_dictionary", self.default_dictionary)
self.ui.doc_settings:saveSetting("disable_fuzzy_search", self.disable_fuzzy_search)
if self.ui.doc_settings then
logger.dbg("save default dictionary", self.default_dictionary)
self.ui.doc_settings:saveSetting("default_dictionary", self.default_dictionary)
self.ui.doc_settings:saveSetting("disable_fuzzy_search", self.disable_fuzzy_search)
end
end
function ReaderDictionary:toggleFuzzyDefault()