|
|
@ -42,6 +42,7 @@ function filemanagerutil.resetDocumentSettings(file)
|
|
|
|
local settings_to_keep = {
|
|
|
|
local settings_to_keep = {
|
|
|
|
bookmarks = true,
|
|
|
|
bookmarks = true,
|
|
|
|
bookmarks_sorted = true,
|
|
|
|
bookmarks_sorted = true,
|
|
|
|
|
|
|
|
bookmarks_sorted_20220106 = true,
|
|
|
|
bookmarks_version = true,
|
|
|
|
bookmarks_version = true,
|
|
|
|
cre_dom_version = true,
|
|
|
|
cre_dom_version = true,
|
|
|
|
highlight = true,
|
|
|
|
highlight = true,
|
|
|
@ -57,6 +58,7 @@ function filemanagerutil.resetDocumentSettings(file)
|
|
|
|
doc_settings:delSetting(k)
|
|
|
|
doc_settings:delSetting(k)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
doc_settings:makeTrue("docsettings_reset_done") -- for readertypeset block_rendering_mode
|
|
|
|
doc_settings:close()
|
|
|
|
doc_settings:close()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|