Method setMinWidth

src/ch/hsr/ogv/view/PaneBox.java:548–550

Sets the minimum width of this box. Note that it can not be set blow PaneBox#MIN_WIDTH. @param width

(double width)

	 * @param width
	 */
	public void setMinWidth(double width) {
		this.borderPane.setMinWidth(restrictedWidth(width));
	}

	public double getMinWidth() {
		return this.borderPane.getMinWidth();