Beispiel #1
0
 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()
Beispiel #2
0
 def __init__(self, parent):
     Pane.__init__(self, parent, 'editorPane', 'Editor', showCaption=False)
     
Beispiel #3
0
 def __init__(self, parent):
     Pane.__init__(self, parent, 'encodingPane', 'Encoding', showCaption=False)
     
Beispiel #4
0
 def __init__(self, parent):
     Pane.__init__(self, parent, 'fontAndColorPane', 'Font and Colors', showCaption=False)
     
Beispiel #5
0
 def __init__(self, parent):
     Pane.__init__(self, parent, 'highlightPane', 'Highlight', showCaption=False)