Method getTopFont

src/ch/hsr/ogv/view/PaneBox.java:266–268

()

	}

	public Font getTopFont() {
		return this.topTextField.getFont(); // doesnt matter if Font is taken from topLabel or topTextField
	}

	public void setTopUnderline(boolean underline) {
		this.topLabel.setUnderline(underline);