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