From 6ee8f22d73cb1e7d241a8c335207af80df6dae1e Mon Sep 17 00:00:00 2001 From: chrox Date: Tue, 7 Oct 2014 13:06:52 +0800 Subject: [PATCH] add clear api for DocSettings to remove both history settings and sidecar settings --- frontend/docsettings.lua | 9 +++++++++ 1 file changed, 9 insertions(+) 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