4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.27 $ |
* @version $Revision: 1.28 $ |
* |
* Last modification: $Date: 2003/07/23 23:39:27 $ |
* $Id: RegionEditorPlugin.java,v 1.27 2003/07/23 23:39:27 ioklasse Exp $ |
* Last modification: $Date: 2003/07/24 22:18:06 $ |
* $Id: RegionEditorPlugin.java,v 1.28 2003/07/24 22:18:06 ioklasse Exp $ |
*/ |
|
package src.plugins.regionEditorPlugin; |
62,7 → 62,7 |
* |
* @author Yulia Klassen, Viktoriya Zudova |
* |
* @version $Revision: 1.27 $ Last modification: $Date: 2003/07/23 23:39:27 $ |
* @version $Revision: 1.28 $ Last modification: $Date: 2003/07/24 22:18:06 $ |
*/ |
public class RegionEditorPlugin |
extends JPanel |
214,7 → 214,7 |
{ |
this.environment = environment; |
oldNode = node; |
changedNode = node; |
// changedNode = node; |
gui.getStatusInterface().setIcon(StatusInterface.ICON_NONE); |
gui.getStatusInterface().setMessage(null); |
gui.getStatusInterface().setPoint(null); |
422,7 → 422,15 |
Text name = tempDoc.createTextNode(region.getName()); |
org.w3c.dom.Element geom = tempDoc.createElement("RECTANGLE"); |
org.w3c.dom.Element coords = tempDoc.createElement("COORDS"); |
coords.setAttribute("XMLEditorSavedNameOfNode", region.getSavedNameOfNode()); |
|
//modified 25.07.2003 Sascha W. |
/* attribute "XMLEditorSavedNameOfNode" should only appear if the original |
* node was not a "COORDS", cause during transformation this attribute is |
* simply copied if it doesn't contains a proper name */ |
if ((region.getSavedNameOfNode() != null) && (region.getSavedNameOfNode() != "")) { |
coords.setAttribute("XMLEditorSavedNameOfNode", region.getSavedNameOfNode()); |
} |
|
coords.setAttribute("x", Integer.toString(region.getRect().x)); |
coords.setAttribute("y", Integer.toString(region.getRect().y)); |
coords.setAttribute("w", Integer.toString(region.getRect().width)); |