| .. | .. |
|---|
| 1120 | 1120 | resetParentItem.addActionListener(this); |
|---|
| 1121 | 1121 | repairParentItem = menu.add(new MenuItem("Repair Parent")); |
|---|
| 1122 | 1122 | repairParentItem.addActionListener(this); |
|---|
| 1123 | + repairShadowItem = menu.add(new MenuItem("Repair Shadow")); |
|---|
| 1124 | + repairShadowItem.addActionListener(this); |
|---|
| 1123 | 1125 | menu.add(invariantsItem = new MenuItem("Invariants")); |
|---|
| 1124 | 1126 | invariantsItem.addActionListener(this); |
|---|
| 1125 | 1127 | menu.add(recompileItem = new MenuItem("Recompile")); |
|---|
| .. | .. |
|---|
| 2537 | 2539 | { |
|---|
| 2538 | 2540 | Object3D obj = (Object3D)e.nextElement(); |
|---|
| 2539 | 2541 | obj.RepairParent(); |
|---|
| 2542 | +// for (int i=0; i<obj.size(); i++) |
|---|
| 2543 | +// { |
|---|
| 2544 | +// obj.get(i).parent = obj; |
|---|
| 2545 | +// } |
|---|
| 2546 | + } |
|---|
| 2547 | + |
|---|
| 2548 | + refreshContents(); |
|---|
| 2549 | + } else |
|---|
| 2550 | + if (event.getSource() == repairShadowItem) |
|---|
| 2551 | + { |
|---|
| 2552 | + for (Enumeration e = group.selection.elements(); e.hasMoreElements();) |
|---|
| 2553 | + { |
|---|
| 2554 | + Object3D obj = (Object3D)e.nextElement(); |
|---|
| 2555 | + obj.RepairShadow(); |
|---|
| 2540 | 2556 | // for (int i=0; i<obj.size(); i++) |
|---|
| 2541 | 2557 | // { |
|---|
| 2542 | 2558 | // obj.get(i).parent = obj; |
|---|
| .. | .. |
|---|
| 5009 | 5025 | |
|---|
| 5010 | 5026 | private MenuItem resetParentItem; |
|---|
| 5011 | 5027 | private MenuItem repairParentItem; |
|---|
| 5028 | + private MenuItem repairShadowItem; |
|---|
| 5012 | 5029 | private MenuItem sortbysizeItem; |
|---|
| 5013 | 5030 | private MenuItem sortbynameItem; |
|---|
| 5014 | 5031 | |
|---|
