/** * Returns an int array[col, row] that indicates the specified panel located * within this portal layout. If not found, [-1, -1] is assumed. */ public int[] getPosition(Panel panel) { int[] pos = new int[] {-1, -1}; if (panel == null || panel.getParent() == null) return pos; pos[0] = getChildren().indexOf(panel.getParent()); if (pos[0] < 0) pos[1] = pos[0]; else pos[1] = panel.getParent().getChildren().indexOf(panel); return pos; }
((Updatable) (to).getExtraCtrl()).setResult(Boolean.TRUE); ((Updatable) (dragged).getExtraCtrl()).setResult(new Object[]{Boolean.TRUE, to}); if (dragged.getParent() == to) { int oldIndex = to.getChildren().indexOf(dragged); if (newIndex == to.getChildren().size() - 1) {