private boolean doSetScale(double scale) {
		boolean res = Math.abs(viewState.getScale() - scale) > .0000001;
		viewState = viewState.copyAndSetScale(scale);
		return res;
	}
private boolean doSetScale ( double scale ) { boolean res = Math . abs ( viewState . getScale ( ) - scale ) > .0000001 ; viewState = viewState . copyAndSetScale ( scale ) ; return res ; }
-------------------------------------------------------------------------