Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 3037
a417a0670a36
parent 3025
67064c71df21
child 3060
5883ce99ee12
child 3062
9de9373da5bb
--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Sat Oct 19 15:15:50 2013 +0200
+++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Sat Oct 19 16:14:07 2013 +0200
@@ -579,7 +579,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)
         
@@ -823,8 +823,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