10351036103710381039104010411042104310441045
FigureEnumeration k = selectionElements(); while (k.hasMoreElements()) { Figure figure = k.nextFigure(); Enumeration kk = figure.handles().elements(); while (kk.hasMoreElements()) { activeHandles.addElement(kk.nextElement()); }
911912913914915916917918919920921
for (FigureEnumeration fe = figures(); fe.hasMoreElements();) { Figure f = fe.nextFigure(); Vector subHandles = f.handles(); if (subHandles.size() > 0) { if (v == null) v = new Vector(); v.addAll(subHandles);