From c431e78cabfaa72238d8e6d1787aad4b8bf1bbf2 Mon Sep 17 00:00:00 2001 From: Carlos Cordoba Date: Sun, 24 Jul 2022 17:41:01 -0500 Subject: [PATCH] Pylint: Fix a couple of minor linting issues --- spyder/plugins/pylint/main_widget.py | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/spyder/plugins/pylint/main_widget.py b/spyder/plugins/pylint/main_widget.py index 5f5cb9df794..ce1e17fe104 100644 --- a/spyder/plugins/pylint/main_widget.py +++ b/spyder/plugins/pylint/main_widget.py @@ -343,9 +343,6 @@ def __init__(self, name=None, plugin=None, parent=None): self.treewidget.sig_edit_goto_requested.connect( self.sig_edit_goto_requested) - def on_close(self): - self.stop_code_analysis() - # --- Private API # ------------------------------------------------------------------------ @Slot() @@ -475,7 +472,7 @@ def _save_history(self): for fname in self.curr_filenames: if _("untitled") not in fname: filename = osp.normpath(fname) - list_save_files.append(fname) + list_save_files.append(filename) self.curr_filenames = list_save_files[:MAX_HISTORY_ENTRIES] self.set_conf("history_filenames", self.curr_filenames)