Plugins/ViewManagerPlugins/Tabview/Tabview.py

branch
Py2 comp.
changeset 3060
5883ce99ee12
parent 3058
0a02c433f52d
parent 3037
a417a0670a36
child 3065
070b35dde35e
--- 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]

eric ide

mercurial