Plugins/ViewManagerPlugins/Listspace/Listspace.py

changeset 3037
a417a0670a36
parent 3025
67064c71df21
child 3060
5883ce99ee12
child 3062
9de9373da5bb
equal deleted inserted replaced
3036:30c81c9e88b8 3037:a417a0670a36
668 """ 668 """
669 Private method to close the other editors. 669 Private method to close the other editors.
670 """ 670 """
671 index = self.contextMenuIndex 671 index = self.contextMenuIndex
672 for i in list(range(self.viewlist.count() - 1, index, -1)) + \ 672 for i in list(range(self.viewlist.count() - 1, index, -1)) + \
673 list(range(index - 1, -1, -1)): 673 list(range(index - 1, -1, -1)):
674 editor = self.editors[i] 674 editor = self.editors[i]
675 self.closeEditorWindow(editor) 675 self.closeEditorWindow(editor)
676 676
677 def __contextMenuCloseAll(self): 677 def __contextMenuCloseAll(self):
678 """ 678 """

eric ide

mercurial