Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 6055
ab7128b76524
parent 6052
8b49d3e0b4c8
child 6072
059c8f981ef4
equal deleted inserted replaced
6053:c2d1566692d3 6055:ab7128b76524
924 @param indexes of the editor, first the split view index, second the 924 @param indexes of the editor, first the split view index, second the
925 index within the view 925 index within the view
926 @type tuple of two int 926 @type tuple of two int
927 """ 927 """
928 editor = win.getEditor() 928 editor = win.getEditor()
929 if fn is None: 929 if not fn:
930 if not noName: 930 if not noName:
931 self.untitledCount += 1 931 self.untitledCount += 1
932 noName = self.tr("Untitled {0}").format(self.untitledCount) 932 noName = self.tr("Untitled {0}").format(self.untitledCount)
933 if addNext: 933 if addNext:
934 index = self.currentTabWidget.currentIndex() + 1 934 index = self.currentTabWidget.currentIndex() + 1

eric ide

mercurial