Package com.google.collide.client.editor.gutter

Examples of com.google.collide.client.editor.gutter.Gutter


    this.input = input;
    this.focusManager = focusManager;
    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);
View Full Code Here


     */
    renderer.addLineRenderer(lineRenderer);
  }

  public Gutter createGutter(boolean overviewMode, Gutter.Position position, String cssClassName) {
    Gutter gutter = Gutter.create(overviewMode, position, cssClassName, buffer);
    if (viewport != null && renderer != null) {
      gutter.handleDocumentChanged(viewport, renderer);
    }

    gutters.add(gutter);

    gutter.getGutterElement().addClassName(getView().css.gutter());
    getView().addGutter(gutter.getGutterElement());
    return gutter;
  }
View Full Code Here

TOP

Related Classes of com.google.collide.client.editor.gutter.Gutter

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.