public void setHorizontalTextPosition(int textPosition) { hori_text_pos = textPosition; }
public void setHorizontalTextPosition(int t) { int old = hori_text_pos; hori_text_pos = t; if (old != t) { firePropertyChange(HORIZONTAL_TEXT_POSITION_CHANGED_PROPERTY, old, t); revalidate(); repaint(); } }
	public void setHorizontalTextPosition(int textPosition) {		hori_text_pos = textPosition;	}