Package com.google.collide.shared.document

Examples of com.google.collide.shared.document.LineInfo.number()

138
139
140
141
142
143
144
145
146
147
148
    LineInfo curLine = start.getLineInfo();
    curLine.moveTo(iterateForward);

    while (curLine.line() != end.getLine()) {
      if (!lineVisitor.accept(curLine.line(), curLine.number(), 0, curLine.line().length())) {
        return;
      }

      if (!curLine.moveTo(iterateForward)) {
        throw new IllegalStateException(
View Full Code Here
249
250
251
252
253
254
255
256
257
258
259
    if (beginLineNumber <= viewport.getBottomLineNumber()) {
      // Only fill or update lines if the content change affects the viewport
      LineInfo beginLine =
          viewport.getDocument().getLineFinder().findLine(viewport.getBottom(), beginLineNumber);
      animationController.onBeforeAnimationStarted();
      fillOrUpdateLines(beginLine.line(), beginLine.number(), viewport.getBottomLine(),
          viewport.getBottomLineNumber(), createOffset);
    }
  }

  void renderViewportLineNumbersChanged(EnumSet<Edge> changedEdges) {
View Full Code Here
262
263
264
265
266
267
268
269
270
271
272
       * Collaborator added/removed lines above us, update the viewport lines
       * since their tops may have changed
       */
      LineInfo top = viewport.getTop();
      LineInfo bottom = viewport.getBottom();
      fillOrUpdateLines(top.line(), top.number(), bottom.line(), bottom.number(), 0);
    }
  }
 
  /**
   * Renders changes to the viewport positioning.
View Full Code Here
277
278
279
280
281
282
283
284
285
286
287
        viewportOldBottomAnchor != null ? viewportOldBottomAnchor.getLineInfo() : null;

    LineInfo top = viewport.getTop();
    LineInfo bottom = viewport.getBottom();

    if (oldTop == null || oldBottom == null || bottom.number() < oldTop.number()
        || top.number() > oldBottom.number() || forceRerender) {
      /*
       * The viewport does not overlap with its old position, GC old lines and
       * render all of the new ones (or we are forced to rerender everything)
       */
 
View Full Code Here
287
288
289
290
291
292
293
294
295
296
297
       */
      if (oldTop != null && oldBottom != null) {
        garbageCollectLines(oldTop.line(), oldTop.number(), oldBottom.line(), oldBottom.number());
      }

      fillOrUpdateLines(top.line(), top.number(), bottom.line(), bottom.number(), 0);

    } else {
      // There is some overlap, so be more efficient with our update
      if (oldTop.number() < top.number()) {
        // The viewport moved down, need to GC the offscreen lines
View Full Code Here
301
302
303
304
305
306
307
308
309
310
311
        // The viewport moved up, need to fill with lines
        fillOrUpdateLines(top.line(), top.number(), oldTop.line().getPreviousLine(),
            oldTop.number() - 1, 0);
      }

      if (oldBottom.number() < bottom.number()) {
        // The viewport moved down, need to fill with lines
        fillOrUpdateLines(oldBottom.line().getNextLine(), oldBottom.number() + 1, bottom.line(),
            bottom.number(), 0);
      } else if (oldBottom.number() > bottom.number()) {
        // The viewport moved up, need to GC the offscreen lines
View Full Code Here
304
305
306
307
308
309
310
311
312
313
314
      }

      if (oldBottom.number() < bottom.number()) {
        // The viewport moved down, need to fill with lines
        fillOrUpdateLines(oldBottom.line().getNextLine(), oldBottom.number() + 1, bottom.line(),
            bottom.number(), 0);
      } else if (oldBottom.number() > bottom.number()) {
        // The viewport moved up, need to GC the offscreen lines
        garbageCollectLines(bottom.line().getNextLine(), bottom.number() + 1, oldBottom.line(),
            oldBottom.number());
      }
View Full Code Here
305
306
307
308
309
310
311
312
313
314
315
      if (oldBottom.number() < bottom.number()) {
        // The viewport moved down, need to fill with lines
        fillOrUpdateLines(oldBottom.line().getNextLine(), oldBottom.number() + 1, bottom.line(),
            bottom.number(), 0);
      } else if (oldBottom.number() > bottom.number()) {
        // The viewport moved up, need to GC the offscreen lines
        garbageCollectLines(bottom.line().getNextLine(), bottom.number() + 1, oldBottom.line(),
            oldBottom.number());
      }
    }
View Full Code Here
307
308
309
310
311
312
313
314
315
316
317
        // The viewport moved down, need to fill with lines
        fillOrUpdateLines(oldBottom.line().getNextLine(), oldBottom.number() + 1, bottom.line(),
            bottom.number(), 0);
      } else if (oldBottom.number() > bottom.number()) {
        // The viewport moved up, need to GC the offscreen lines
        garbageCollectLines(bottom.line().getNextLine(), bottom.number() + 1, oldBottom.line(),
            oldBottom.number());
      }
    }
  }
View Full Code Here
590
591
592
593
594
595
596
597
598
599
600
    int lineNumber = buffer.convertYToLineNumber(y, true);
    LineInfo newLineInfo =
        document.getLineFinder().findLine(cursorAnchor.getLineInfo(), lineNumber);

    // Only move the cursor
    if (viewport.isLineNumberFullyVisibleInViewport(newLineInfo.number())) {
      moveCursorUsingSelectionGranularity(newLineInfo, x, false);
    }
    manageRepeaterForDrag(x, y);
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.