code: public Matrix getWorldToPanTranslation() {
  		if (viewState.getScale() > 0) {
  			double dX = -(viewState.getPanX() * viewState.getScale());
  			double dY = viewState.getPanY() * viewState.getScale();
  			return new Matrix(1, 0, 0, 1, dX, dY);
  		}
  		return new Matrix(1, 0, 0, 1, 0, 0);
  	}
docs: Return the translation of scaled world coordinates to coordinates relative to the pan origin.
  
  @return transformation matrix