Method restrictedWidth

src/ch/hsr/ogv/view/PaneBox.java:513–522

(double width)

	}

	private double restrictedWidth(double width) {
		double retWidth = width;
		if (width < MIN_WIDTH) {
			retWidth = MIN_WIDTH;
		}
		else if (width > MAX_WIDTH) {
			retWidth = MAX_WIDTH;
		}
		return retWidth;
	}

	private double restrictedHeight(double height) {
		double retHeight = height;