| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.31 $ |
| * @version $Revision: 1.32 $ |
| * |
| * Last modification: $Date: 2003/07/25 17:40:34 $ |
| * $Id: RegionEditorPlugin.java,v 1.31 2003/07/25 17:40:34 ioklasse Exp $ |
| * Last modification: $Date: 2003/07/26 10:49:10 $ |
| * $Id: RegionEditorPlugin.java,v 1.32 2003/07/26 10:49:10 smcsporr Exp $ |
| */ |
| |
| package src.plugins.regionEditorPlugin; |
| 62,7 → 62,7 |
|---|
| * |
| * @author Yulia Klassen, Viktoriya Zudova |
| * |
| * @version $Revision: 1.31 $ Last modification: $Date: 2003/07/25 17:40:34 $ |
| * @version $Revision: 1.32 $ Last modification: $Date: 2003/07/26 10:49:10 $ |
| */ |
| public class RegionEditorPlugin |
| extends JPanel |
| 302,6 → 302,7 |
|---|
| private void initRegions(Node node) |
| { |
| regions.clear(); |
| setSelectedRegion(null); |
| |
| NodeList children = node.getChildNodes(); |
| for(int i = 0; i < children.getLength(); i++) { |
| 519,6 → 520,7 |
|---|
| selectedRegion.setName(regionNameField.getText()); |
| forceStatusReport(); |
| } |
| imagePanel.repaint(); |
| } |
| |
| if(e.getSource() == deleteSelectedItem) { // delete the selected region |