[Pydev-code] PyDev documents, createDocument(), createEmptyDocument()

[<cla...@at...>]

More newbie questions: I am trying to compare the PyDev way of doing things to the online documents and tutorials I have for writing Eclipse editors. The tutorials indicate that it is expected that you will create your own subclass of FileDocumentProvider, then override the createDocument() and createEmptyDocument() methods within that document provider subclass. The createDocument() examples I have seen look important, as that is where the code creates a partitioner and then calls partitioner.connect(document) to hook the partitioner to the document.


PyDev has a stub class for the document provider:



public class PyDocumentProvider extends TextFileDocumentProvider{


}


I cannot find that PyDev overrides createDocument() or createEmptyDocument() anywhere, so I guess these are not necessary, contrary to the tutorials and online documents?


Thanks for any explanations.