diff options
Diffstat (limited to 'pylint/gui.py')
-rw-r--r-- | pylint/gui.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pylint/gui.py b/pylint/gui.py index 8327e0e..bd332e9 100644 --- a/pylint/gui.py +++ b/pylint/gui.py @@ -455,7 +455,7 @@ class LintGui(object): try: view_history = open(HOME+HISTORY, 'r') for hist in view_history.readlines(): - if not hist in self.filenames: + if hist not in self.filenames: self.filenames.append(hist) self.showhistory.insert(END, hist.split('\n')[0]) view_history.close() |