public void setSelection(int begin, int end, boolean moveUp) {
		if (moveUp) {
			setCaretPosition(end);
			moveCaretPosition(begin);
		} else {
			select(begin, end);
		}
		highlight(getSelectionStart(), getSelectionEnd());
	}