System.err.println(focusedComponent.getBuffer().getLength() + "," + this);
		public void undo() throws CannotUndoException		{			super.undo();			if(focusedComponent != null)				focusedComponent.select(start,end);		}