public TextEditor CreateProjectedEditor (DocumentContext originalContext)
{
if (projectedEditor == null) {
projectedEditor = TextEditorFactory.CreateNewEditor (Document, TextEditorType.Projection);
projectedDocumentContext = new ProjectedDocumentContext (projectedEditor, originalContext);
projectedEditor.InitializeExtensionChain (projectedDocumentContext);
projectedProjections.InstallListener (projectedEditor);
}
return projectedEditor;
}
public TextEditor CreateProjectedEditor(DocumentContext originalContext)
{
if (projectedEditor == null)
{
projectedEditor = TextEditorFactory.CreateNewEditor(Document, TextEditorType.Projection);
projectedDocumentContext = new ProjectedDocumentContext(projectedEditor, originalContext);
projectedEditor.InitializeExtensionChain(projectedDocumentContext);
projectedProjections.InstallListener(projectedEditor);
}
return(projectedEditor);
}