boolean hasAPartAfterPage(ZLTextPage page) { if (isEmpty()) { return false; } final ZLTextElementArea lastPageArea = page.TextElementMap.getLastArea(); if (lastPageArea == null) { return false; } final int cmp = myRightMostRegionSoul.compareTo(lastPageArea); return cmp > 0 || (cmp == 0 && !lastPageArea.isLastInElement()); }
boolean hasAPartBeforePage(ZLTextPage page) { if (isEmpty()) { return false; } final ZLTextElementArea firstPageArea = page.TextElementMap.getFirstArea(); if (firstPageArea == null) { return false; } final int cmp = myLeftMostRegionSoul.compareTo(firstPageArea); return cmp < 0 || (cmp == 0 && !firstPageArea.isFirstInElement()); }
public ZLTextElementArea getEndArea(ZLTextPage page) { if (isEmpty()) { return null; } final ZLTextElementAreaVector vector = page.TextElementMap; final ZLTextRegion region = vector.getRegion(myRightMostRegionSoul); if (region != null) { return region.getLastArea(); } final ZLTextElementArea lastArea = vector.getLastArea(); if (lastArea != null && myRightMostRegionSoul.compareTo(lastArea) >= 0) { return lastArea; } return null; }
public ZLTextElementArea getStartArea(ZLTextPage page) { if (isEmpty()) { return null; } final ZLTextElementAreaVector vector = page.TextElementMap; final ZLTextRegion region = vector.getRegion(myLeftMostRegionSoul); if (region != null) { return region.getFirstArea(); } final ZLTextElementArea firstArea = vector.getFirstArea(); if (firstArea != null && myLeftMostRegionSoul.compareTo(firstArea) <= 0) { return firstArea; } return null; }
void expandTo(int x, int y) { if (isEmpty()) { return; } final ZLTextElementAreaVector vector = myView.myCurrentPage.TextElementMap; final ZLTextElementArea firstArea = vector.getFirstArea(); final ZLTextElementArea lastArea = vector.getLastArea(); if (firstArea != null && y < firstArea.YStart) { if (myScroller != null && myScroller.scrollsForward()) { myScroller.stop(); myScroller = null; } if (myScroller == null) { myScroller = new Scroller(false, x, y); return; } } else if (lastArea != null && y + ZLTextSelectionCursor.getHeight() / 2 + ZLTextSelectionCursor.getAccent() / 2 > lastArea.YEnd) { if (myScroller != null && !myScroller.scrollsForward()) { myScroller.stop(); myScroller = null; } if (myScroller == null) { myScroller = new Scroller(true, x, y); return; } } else { if (myScroller != null) { myScroller.stop(); myScroller = null; } } if (myScroller != null) { myScroller.setXY(x, y); } ZLTextRegion region = myView.findRegion(x, y, ZLTextView.MAX_SELECTION_DISTANCE, ZLTextRegion.AnyRegionFilter); if (region == null && myScroller != null) { region = myView.findRegion(x, y, ZLTextRegion.AnyRegionFilter); } if (region == null) { return; } final ZLTextRegion.Soul soul = region.getSoul(); if (myCursorInMovement == ZLTextSelectionCursor.Right) { if (myLeftMostRegionSoul.compareTo(soul) <= 0) { myRightMostRegionSoul = soul; } else { myRightMostRegionSoul = myLeftMostRegionSoul; myLeftMostRegionSoul = soul; myCursorInMovement = ZLTextSelectionCursor.Left; } } else { if (myRightMostRegionSoul.compareTo(soul) >= 0) { myLeftMostRegionSoul = soul; } else { myLeftMostRegionSoul = myRightMostRegionSoul; myRightMostRegionSoul = soul; myCursorInMovement = ZLTextSelectionCursor.Right; } } if (myCursorInMovement == ZLTextSelectionCursor.Right) { if (hasAPartAfterPage(myView.myCurrentPage)) { myView.scrollPage(true, ZLTextView.ScrollingMode.SCROLL_LINES, 1); myView.Application.getViewWidget().reset(); myView.preparePaintInfo(); } } else { if (hasAPartBeforePage(myView.myCurrentPage)) { myView.scrollPage(false, ZLTextView.ScrollingMode.SCROLL_LINES, 1); myView.Application.getViewWidget().reset(); myView.preparePaintInfo(); } } }
boolean isAreaSelected(ZLTextElementArea area) { return !isEmpty() && myLeftMostRegionSoul.compareTo(area) <= 0 && myRightMostRegionSoul.compareTo(area) >= 0; }