304 for editor in self.__editors: |
304 for editor in self.__editors: |
305 if editor.getFileName() == fn: |
305 if editor.getFileName() == fn: |
306 editor.raise_() |
306 editor.raise_() |
307 break |
307 break |
308 else: |
308 else: |
309 editor = MiniEditor(filename=fn, parent=self) |
309 editor = MiniEditor(filename=fn) |
310 editor.closing.connect(lambda: self.__editorClosing(editor)) |
310 editor.closing.connect(lambda: self.__editorClosing(editor)) |
311 editor.show() |
311 editor.show() |
312 |
312 |
313 self.__editors.append(editor) |
313 self.__editors.append(editor) |
314 self.editorCountChanged.emit(len(self.__editors)) |
314 self.editorCountChanged.emit(len(self.__editors)) |
323 @param language source language (defaults to "") |
323 @param language source language (defaults to "") |
324 @type str (optional) |
324 @type str (optional) |
325 @param fileName associated file name (defaults to "") |
325 @param fileName associated file name (defaults to "") |
326 @type str (optional) |
326 @type str (optional) |
327 """ |
327 """ |
328 editor = MiniEditor(filename=fileName, parent=self) |
328 editor = MiniEditor(filename=fileName) |
329 editor.closing.connect(lambda: self.__editorClosing(editor)) |
329 editor.closing.connect(lambda: self.__editorClosing(editor)) |
330 editor.setText(text, filetype=language) |
330 editor.setText(text, filetype=language) |
331 editor.setLanguage(fileName) |
331 editor.setLanguage(fileName) |
332 editor.show() |
332 editor.show() |
333 |
333 |