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); |
} |