| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.23 $ |
| * @version $Revision: 1.24 $ |
| * |
| * Last modification: $Date: 2003/07/23 14:28:53 $ |
| * $Id: RegionEditorPlugin.java,v 1.23 2003/07/23 14:28:53 mdonner Exp $ |
| * Last modification: $Date: 2003/07/23 15:02:00 $ |
| * $Id: RegionEditorPlugin.java,v 1.24 2003/07/23 15:02:00 mdonner Exp $ |
| */ |
| |
| package src.plugins.regionEditorPlugin; |
| 38,6 → 38,7 |
|---|
| import org.w3c.dom.NamedNodeMap; |
| import org.w3c.dom.Document; |
| import org.w3c.dom.Node; |
| import org.w3c.dom.Text; |
| |
| import javax.swing.JButton; |
| //import javax.swing.JFileChooser; |
| 59,7 → 60,7 |
|---|
| * |
| * @author Yulia Klassen, Viktoriya Zudova |
| * |
| * @version $Revision: 1.23 $ Last modification: $Date: 2003/07/23 14:28:53 $ |
| * @version $Revision: 1.24 $ Last modification: $Date: 2003/07/23 15:02:00 $ |
| */ |
| public class RegionEditorPlugin |
| extends JPanel |
| 387,8 → 388,31 |
|---|
| |
| |
| public void forceStatusReport() { |
| changedNode = oldNode.cloneNode(true); |
| changedNode = oldNode.cloneNode(false); |
| Document tempDoc = oldNode.getOwnerDocument(); |
| changedNode.getAttributes().getNamedItem("image").setNodeValue(imageName); |
| java.util.Iterator i = regions.iterator(); |
| while(i.hasNext()) { |
| Region region = (Region)i.next(); |
| i.remove(); |
| System.out.println(region.getRect()); |
| Text name = tempDoc.createTextNode(region.getName()); |
| org.w3c.dom.Element geom = tempDoc.createElement("RECTANGLE"); |
| org.w3c.dom.Element coords = tempDoc.createElement("COORDS"); |
| coords.setAttribute("x", Integer.toString(region.getRect().x)); |
| coords.setAttribute("y", Integer.toString(region.getRect().y)); |
| coords.setAttribute("w", Integer.toString(region.getRect().width)); |
| coords.setAttribute("h", Integer.toString(region.getRect().height)); |
| /*Node nameNode = (Node)name; |
| Node coordsNode = (Node)coords; |
| Node geomNode = (Node)geom; |
| System.out.println("nameNode = " + nameNode); |
| System.out.println("coordsNode = " + coordsNode); |
| System.out.println("geomNode = " + geomNode);*/ |
| geom.appendChild(name); |
| geom.appendChild(coords); |
| changedNode.appendChild((Node)geom); |
| } |
| firePluginChangedElement(oldNode, changedNode); |
| } |
| |