--- a/Plugins/CheckerPlugins/Tabnanny/Tabnanny.py Sat Oct 19 14:05:26 2013 +0200 +++ b/Plugins/CheckerPlugins/Tabnanny/Tabnanny.py Sat Oct 19 15:15:50 2013 +0200 @@ -267,8 +267,8 @@ for ts in range(1, n + 1): if self.indent_level(ts) != other.indent_level(ts): a.append((ts, - self.indent_level(ts), - other.indent_level(ts))) + self.indent_level(ts), + other.indent_level(ts))) return a # Return True iff self.indent_level(t) < other.indent_level(t) @@ -325,8 +325,8 @@ for ts in range(1, n + 1): if self.indent_level(ts) >= other.indent_level(ts): a.append((ts, - self.indent_level(ts), - other.indent_level(ts))) + self.indent_level(ts), + other.indent_level(ts))) return a