Rectangle newRect = this.figure.displayBox();
Drawing drawing = view.drawing();
FigureChangeEvent ev0 = new FigureChangeEvent(this.figure);
drawing.figureChanged(ev0);
DrawingChangeEvent ev = new DrawingChangeEvent(drawing, oldRect);
view.drawingRequestUpdate(ev);
ev = new DrawingChangeEvent(drawing, newRect);
view.drawingRequestUpdate(ev);
// view.drawingInvalidated(ev);
// view.repairDamage();
}