public void onMouseUp(MouseUpEvent event) { if (dragging) { dragging = false; shrinkLayout(); int index = Math.round((currentY - minY) / 10); double scale = viewPort.getZoomStrategy().getZoomStepScale(index); viewPort.applyScale(scale); } }
public void onClick(ClickEvent event) { int index = viewPort.getZoomStrategy().getZoomStepIndex(viewPort.getScale()); try { viewPort.applyScale(viewPort.getZoomStrategy().getZoomStepScale(index - 1)); } catch (IllegalArgumentException e) { } event.stopPropagation(); } }, ClickEvent.getType());
public void onClick(ClickEvent event) { int index = viewPort.getZoomStrategy().getZoomStepIndex(viewPort.getScale()); try { viewPort.applyScale(viewPort.getZoomStrategy().getZoomStepScale(index - 1)); } catch (IllegalArgumentException e) { } event.stopPropagation(); } }, ClickEvent.getType());
public void onClick(ClickEvent event) { int index = viewPort.getZoomStrategy().getZoomStepIndex(viewPort.getScale()); try { viewPort.applyScale(viewPort.getZoomStrategy().getZoomStepScale(index + 1)); } catch (IllegalArgumentException e) { } event.stopPropagation(); } }, ClickEvent.getType());
public void onClick(ClickEvent event) { int index = viewPort.getZoomStrategy().getZoomStepIndex(viewPort.getScale()); try { viewPort.applyScale(viewPort.getZoomStrategy().getZoomStepScale(index + 1)); } catch (IllegalArgumentException e) { } event.stopPropagation(); } }, ClickEvent.getType());
protected void scrollZoomTo(boolean isNorth, Coordinate location) { ViewPort viewPort = mapPresenter.getViewPort(); int index = viewPort.getZoomStrategy().getZoomStepIndex(viewPort.getScale()); if (isNorth) { if (index > 0) { if (scrollZoomType == ScrollZoomType.ZOOM_POSITION) { viewPort.applyScale(viewPort.getZoomStrategy().getZoomStepScale(index - 1), location); } else { viewPort.applyScale(viewPort.getZoomStrategy().getZoomStepScale(index - 1)); } } } else { if (index < viewPort.getZoomStrategy().getZoomStepCount() - 1) { if (scrollZoomType == ScrollZoomType.ZOOM_POSITION) { viewPort.applyScale(viewPort.getZoomStrategy().getZoomStepScale(index + 1), location); } else { viewPort.applyScale(viewPort.getZoomStrategy().getZoomStepScale(index + 1)); } } } }
public void onMouseOut(MouseOutEvent event) { if (dragging) { dragging = false; shrinkLayout(); int index = viewPort.getZoomStrategy().getZoomStepIndex(viewPort.getScale()); int handleY = getBaseTop() + ZOOMBUTTON_SIZE + 1 + (index * ZOOMSTEP_HEIGHT); zoomHandle.getElement().getStyle().setTop(handleY, Unit.PX); } }
public void onClick(ClickEvent event) { double scale = viewPort.getZoomStrategy().getZoomStepScale(count); viewPort.applyScale(scale); event.stopPropagation(); } }, ClickEvent.getType());
private void shrinkLayout() { stretched = false; getElement().getStyle().setTop(top, Unit.PX); getElement().getStyle().setLeft(left, Unit.PX); int y = viewPort.getZoomStrategy().getZoomStepCount() * ZOOMSTEP_HEIGHT; setSize(ZOOMBUTTON_SIZE + "px", (y + 1 + (ZOOMBUTTON_SIZE * 2)) + "px"); applyPositions(); }
private void positionZoomHandle() { int index = viewPort.getZoomStrategy().getZoomStepIndex(viewPort.getScale()); int handleY = getBaseTop() + ZOOMBUTTON_SIZE + 1 + (index * 10); int handleX = getBaseLeft(); zoomHandle.getElement().getStyle().setLeft(handleX, Unit.PX); zoomHandle.getElement().getStyle().setTop(handleY, Unit.PX); }
@Override public void onTouchStart(TouchStartEvent event) { zoomInElement.addStyleName(resource.css().zoomControlZoomInTouch()); ViewPort viewPort = mapPresenter.getViewPort(); int index = viewPort.getZoomStrategy().getZoomStepIndex(viewPort.getScale()); try { viewPort.applyScale(viewPort.getZoomStrategy().getZoomStepScale(index - 1)); } catch (IllegalArgumentException e) { } event.stopPropagation(); } }, TouchStartEvent.getType());
@Override public void onTouchStart(TouchStartEvent event) { zoomOutElement.addStyleName(resource.css().zoomControlZoomOutTouch()); ViewPort viewPort = mapPresenter.getViewPort(); int index = viewPort.getZoomStrategy().getZoomStepIndex(viewPort.getScale()); try { viewPort.applyScale(viewPort.getZoomStrategy().getZoomStepScale(index + 1)); } catch (IllegalArgumentException e) { } event.stopPropagation(); } }, TouchStartEvent.getType());
private void applyPositions() { int top = getBaseTop(); int left = getBaseLeft(); zoomInElement.getElement().getStyle().setTop(top, Unit.PX); zoomInElement.getElement().getStyle().setLeft(left/* + 2 */, Unit.PX); zoomStepsPanel.getElement().getStyle().setTop(top + ZOOMBUTTON_SIZE, Unit.PX); zoomStepsPanel.getElement().getStyle().setLeft(left/* + 2 */, Unit.PX); int y = viewPort.getZoomStrategy().getZoomStepCount() * ZOOMSTEP_HEIGHT; zoomOutElement.getElement().getStyle().setTop(top + ZOOMBUTTON_SIZE + y + 1, Unit.PX); zoomOutElement.getElement().getStyle().setLeft(left/* + 2 */, Unit.PX); positionZoomHandle(); }
for (int i = 0; i < viewPort.getZoomStrategy().getZoomStepCount(); i++) { final int count = i; zoomStepHandler.setMaxY(top + ZOOMBUTTON_SIZE + (viewPort.getZoomStrategy().getZoomStepCount() - 1)