code: private void stopPanning(HumanInputEvent<?> event) {
  		mapWidget.getMapModel().getMapView().setPanDragging(false);
  		panning = false;
  		moving = false;
  		mapWidget.setCursorString(mapWidget.getDefaultCursorString());
  		if (null != event) {
  			updateView(event);
  		}
  	}
docs: Private methods: