public void setDividerPosition(int position) {
		int old = mDividerPosition;
		mDividerPosition = position < 0 ? -1 : position;
		if (mDividerPosition != old && isFull()) {
			setBounds(mX, mY, mWidth, mHeight);
			revalidate();
			getDock().repaint(mX - 1, mY - 1, mWidth + 2, mHeight + 2);
		}
	}