196197198199200201202203204205206
/** * @generated */ private FigureListener getHostPositionListener() { if (hostPositionListener == null) { hostPositionListener = new FigureListener() { public void figureMoved(IFigure source) { refreshFeedback(); } }; }
202203204205206207208209210211212