diff --git a/frontend/docsettings.lua b/frontend/docsettings.lua index 6fcf7c811..76fe705ab 100644 --- a/frontend/docsettings.lua +++ b/frontend/docsettings.lua @@ -146,4 +146,13 @@ function DocSettings:close() self:flush() end +function DocSettings:clear() + if self.history_file then + os.remove(self.history_file) + end + if self.sidecar_file then + os.remove(self.sidecar_file) + end +end + return DocSettings