remove tmp file when closing tab

2021-10-27 09:00:44 +02:00
parent 1d8cd3dce5
commit 5a4299ef84
4 changed files with 16 additions and 6 deletions
--- a/filterwidget.py
+++ b/filterwidget.py
@@ -94,6 +94,10 @@ class FilterWidget(QWidget):
        self.layout.addWidget(filter_bar)
        self.layout.addWidget(self.hits_view)

+    def destruct(self):
+        print("cleanup: ", self.tmpfilename)
+        os.remove(self.tmpfilename)
+
    def filter_changed(self):
        query = self.query_field.text()
        ignore_case = self.ignore_case.isChecked()