4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.15 $ |
* @version $Revision: 1.16 $ |
* |
* Last modification: $Date: 2003/07/20 19:47:36 $ |
* $Id: RegionEditorPlugin.java,v 1.15 2003/07/20 19:47:36 ioklasse Exp $ |
* Last modification: $Date: 2003/07/20 21:39:35 $ |
* $Id: RegionEditorPlugin.java,v 1.16 2003/07/20 21:39:35 ioklasse Exp $ |
*/ |
|
package src.plugins.regionEditorPlugin; |
43,7 → 43,9 |
import javax.swing.JLabel; |
import javax.swing.JPanel; |
import javax.swing.JTextField; |
import javax.swing.tree.TreePath; |
|
|
import src.control.OurEvent; |
import src.control.OurEventListener; |
import src.gui.*; |
179,8 → 181,9 |
* |
* @param element the element that user has chosen |
* @param environment the current document |
* @param elementPath The <code>TreePath</code> of the selected element in the evironment. |
*/ |
public void start(Node node, Document environment) |
public void start(Node node, Document environment, TreePath elementPath) |
{ |
oldNode = node; |
gui.getStatusInterface().setIcon(StatusInterface.ICON_NONE); |
187,13 → 190,10 |
gui.getStatusInterface().setMessage(null); |
gui.getStatusInterface().setPoint(null); |
|
if (node == null) { |
//modified 21/07/03 Sascha W. for testing |
if (node != null) { |
imageName = node.getAttributes().getNamedItem("image").getNodeValue(); |
} |
else { |
NamedNodeMap nodeAttr = node.getAttributes(); |
imageName = nodeAttr.getNamedItem("name").getNodeValue(); |
imageUrl = nodeAttr.getNamedItem("url").getNodeValue(); |
} |
imageUrl = "images/hermann.jpg"; // test only !!! |
|
imageNameField.setText(imageName); |