Method setTopText

src/ch/hsr/ogv/view/PaneBox.java:252–257

(String text)

	}

	public void setTopText(String text) {
		if (this.topTextField == null || this.topLabel == null)
			return;
		this.topTextField.setText(text);
		this.topLabel.setText(text);
	}

	public void setTopFont(Font font) {
		if (this.topTextField == null || this.topLabel == null)