def __init__(self, parent): Pane.__init__(self, parent, 'EditorContainer', '', pos=wx.CENTER, showCaption=False) self._openedDocuments = None Application.getDocumentManager().getDocumentOpenedEventHandler().add(self.__onDocumentOpened) Application.getDocumentManager().getDocumentClosedEventHandler().add(self.__onDocumentClosed) Application.getDocumentManager().getDocumentSavedEventHandler().add(self.__onDocumentSaved) Application.getDocumentManager().getDocumentChangedEventHandler().add(self.__onDocumentChanged) Application.getDocumentManager().getDocumentRenamedEventHandler().add(self.__onDocumentRenamed) Application.getDocumentManager().getSelectedDocumentChangedEventHandler().add(self.__selectDocument) self.__initializeComponent()
def __init__(self, parent): Pane.__init__(self, parent, 'editorPane', 'Editor', showCaption=False)
def __init__(self, parent): Pane.__init__(self, parent, 'encodingPane', 'Encoding', showCaption=False)
def __init__(self, parent): Pane.__init__(self, parent, 'fontAndColorPane', 'Font and Colors', showCaption=False)
def __init__(self, parent): Pane.__init__(self, parent, 'highlightPane', 'Highlight', showCaption=False)