public void setVerticalTextPosition(int textPosition) { vert_text_pos = textPosition; }
public void setVerticalTextPosition(int t) { int old = vert_text_pos; vert_text_pos = t; if (old != t) { firePropertyChange(VERTICAL_TEXT_POSITION_CHANGED_PROPERTY, old, t); revalidate(); repaint(); } }
	public void setVerticalTextPosition(int textPosition) {		vert_text_pos = textPosition;	}