161162163164165166167168169170171
if (myEventConsumer != null) { removeInputEventListener(myEventConsumer); myEventConsumer = null; } source.addChild(this); myBorder.setVisible(true); BoundsHandle.addBoundsHandlesTo(this); if (mySourceShadow == null) {
168169170171172173174175176177178
BoundsHandle.addBoundsHandlesTo(this); if (mySourceShadow == null) { mySourceShadow = new RectangularEdge(source, this); source.addChild(mySourceShadow, 0); } } else { Util.Assert(false, "Window still active after source destroyed"); }
5354555657585960616263
Text title = new Text(TEXT); title.setFont(FONT); title.setOffset(PADDING * 1.5, -0.5 * PADDING); titleHolder.addChild(title); titleHolder.setBounds(0, 0, title.getWidth() + PADDING * 2, title.getHeight()); return titleHolder; } }