--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py Fri Nov 01 15:48:48 2013 +0100 +++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py Sun Nov 03 15:58:22 2013 +0100 @@ -581,7 +581,7 @@ """ index = self.contextMenuIndex for i in list(range(self.count() - 1, index, -1)) + \ - list(range(index - 1, -1, -1)): + list(range(index - 1, -1, -1)): editor = self.widget(i).getEditor() self.vm.closeEditorWindow(editor) @@ -825,8 +825,8 @@ # if this was the last editor in this view, switch to the next, that # still has open editors for i in list(range(self.tabWidgets.index(tw), -1, -1)) + \ - list(range(self.tabWidgets.index(tw) + 1, - len(self.tabWidgets))): + list(range(self.tabWidgets.index(tw) + 1, + len(self.tabWidgets))): if self.tabWidgets[i].hasEditors(): self.currentTabWidget.showIndicator(False) self.currentTabWidget = self.tabWidgets[i]