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)