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)