| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.33 $ |
| * @version $Revision: 1.34 $ |
| * |
| * Last modification: $Date: 2003/07/28 11:41:31 $ |
| * $Id: RegionEditorPlugin.java,v 1.33 2003/07/28 11:41:31 cstollen Exp $ |
| * Last modification: $Date: 2003/07/28 12:25:59 $ |
| * $Id: RegionEditorPlugin.java,v 1.34 2003/07/28 12:25:59 cstollen Exp $ |
| */ |
| |
| package src.plugins.regionEditorPlugin; |
| 62,7 → 62,7 |
|---|
| * |
| * @author Yulia Klassen, Viktoriya Zudova |
| * |
| * @version $Revision: 1.33 $ Last modification: $Date: 2003/07/28 11:41:31 $ |
| * @version $Revision: 1.34 $ Last modification: $Date: 2003/07/28 12:25:59 $ |
| */ |
| public class RegionEditorPlugin |
| extends JPanel |
| 350,7 → 350,7 |
|---|
| } |
| } |
| } |
| |
| /* |
| // debug only !!! delete it in the release |
| private void printTree(Node node, int indent) |
| { |
| 386,8 → 386,8 |
|---|
| if(indent == 0) |
| System.out.println("================================================="); |
| } |
| */ |
| |
| |
| /** |
| * Stops the plugin by setting it to invisible and resetting the display of the |
| * status panel. |
| 416,7 → 416,7 |
|---|
| Document tempDoc = oldNode.getOwnerDocument(); |
| changedNode.getAttributes().getNamedItem("image").setNodeValue(imageName); |
| |
| printTree(oldNode, 0); |
| //printTree(oldNode, 0); |
| Iterator i = regions.iterator(); |
| while(i.hasNext()) { |
| Region region = (Region)i.next(); |
| 440,7 → 440,7 |
|---|
| geom.appendChild(coords); |
| changedNode.appendChild((Node)geom); |
| } |
| printTree(changedNode, 0); |
| //printTree(changedNode, 0); |
| |
| firePluginChangedElement(oldNode, changedNode); |
| } |