appContext.getResources(),
renderTimeExecutor);
// Delayed core editor component initialization
viewport.initialize();
selection.initialize(viewport);
selectionManager.initialize(renderer);
buffer.handleComponentsInitialized(viewport, renderer);
for (int i = 0, n = gutters.size(); i < n; i++) {
gutters.get(i).handleDocumentChanged(viewport, renderer);
}