setDot(buf.getSavedSelStart()); moveDot(buf.getSavedSelEnd());
select(buf.getSavedSelStart(), buf.getSavedSelEnd());
		public void propertyChange(PropertyChangeEvent evt)		{			Object newValue = evt.getNewValue();			if(newValue instanceof Buffer)			{				Buffer buf = (Buffer)newValue;				setDot(buf.getSavedSelStart());				moveDot(buf.getSavedSelEnd());			}		}