this.editorFontDimensionsCalculator = editorFontDimensionsCalculator;
this.renderTimeExecutor = renderTimeExecutor;
Gutter leftGutter = createGutter(
false, Gutter.Position.LEFT, appContext.getResources().workspaceEditorCss().leftGutter());
leftGutterManager = new LeftGutterManager(leftGutter, buffer);
editorDocumentMutator = new EditorDocumentMutator(this);
mouseHoverManager = new MouseHoverManager(this);
editorActivityManager =