| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.32 $ |
| * @version $Revision: 1.33 $ |
| * |
| * Last modification: $Date: 2003/07/26 10:49:10 $ |
| * $Id: RegionEditorPlugin.java,v 1.32 2003/07/26 10:49:10 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/28 11:41:31 $ |
| * $Id: RegionEditorPlugin.java,v 1.33 2003/07/28 11:41:31 cstollen Exp $ |
| */ |
| |
| package src.plugins.regionEditorPlugin; |
| 62,7 → 62,7 |
|---|
| * |
| * @author Yulia Klassen, Viktoriya Zudova |
| * |
| * @version $Revision: 1.32 $ Last modification: $Date: 2003/07/26 10:49:10 $ |
| * @version $Revision: 1.33 $ Last modification: $Date: 2003/07/28 11:41:31 $ |
| */ |
| public class RegionEditorPlugin |
| extends JPanel |
| 269,9 → 269,8 |
|---|
| |
| // if this node corresponds to the image viewer - check image name |
| if(associatedPlugin != null && associatedPlugin.equals("ImageViewer")) { |
| Node transformedNode = manager.transformsNode(associatedPlugin, node); |
| if(transformedNode != null) { |
| NamedNodeMap nodeAttr = transformedNode.getAttributes(); |
| if(node != null) { |
| NamedNodeMap nodeAttr = node.getAttributes(); |
| String name = nodeAttr.getNamedItem("name").getNodeValue(); |
| String url = nodeAttr.getNamedItem("url").getNodeValue(); |
| |