157158159160161162163164165166167
{ FigureChangeListener l = listener(); if (l != null) { Rectangle r = infiniteDisplayBox(); l.figureInvalidated(new FigureChangeEvent(this, r)); } } protected void basicMoveBy(int x, int y) {