| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.28 $ |
| * @version $Revision: 1.29 $ |
| * |
| * Last modification: $Date: 2003/07/24 22:18:06 $ |
| * $Id: RegionEditorPlugin.java,v 1.28 2003/07/24 22:18:06 ioklasse Exp $ |
| * Last modification: $Date: 2003/07/25 15:54:23 $ |
| * $Id: RegionEditorPlugin.java,v 1.29 2003/07/25 15:54:23 swalkenh Exp $ |
| */ |
| |
| package src.plugins.regionEditorPlugin; |
| 62,7 → 62,7 |
|---|
| * |
| * @author Yulia Klassen, Viktoriya Zudova |
| * |
| * @version $Revision: 1.28 $ Last modification: $Date: 2003/07/24 22:18:06 $ |
| * @version $Revision: 1.29 $ Last modification: $Date: 2003/07/25 15:54:23 $ |
| */ |
| public class RegionEditorPlugin |
| extends JPanel |
| 322,10 → 322,11 |
|---|
| // Get coordinates. |
| if(subnode.getNodeName().equals("COORDS")) { |
| NamedNodeMap attrs = subnode.getAttributes(); |
| Node savedNameNode = attrs.getNamedItem("XMLEditorSavedNameOfNode"); |
| |
| if(savedNameNode != null) |
| savedNameOfNode = savedNameNode.getNodeValue(); |
| |
| savedNameOfNode |
| = attrs.getNamedItem("XMLEditorSavedNameOfNode").getNodeValue(); |
| |
| try { |
| x = Integer.parseInt(attrs.getNamedItem("x").getNodeValue()); |
| y = Integer.parseInt(attrs.getNamedItem("y").getNodeValue()); |