| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.30 $ |
| * @version $Revision: 1.31 $ |
| * |
| * Last modification: $Date: 2003/07/25 17:32:33 $ |
| * $Id: RegionEditorPlugin.java,v 1.30 2003/07/25 17:32:33 ioklasse Exp $ |
| * Last modification: $Date: 2003/07/25 17:40:34 $ |
| * $Id: RegionEditorPlugin.java,v 1.31 2003/07/25 17:40:34 ioklasse Exp $ |
| */ |
| |
| package src.plugins.regionEditorPlugin; |
| 62,7 → 62,7 |
|---|
| * |
| * @author Yulia Klassen, Viktoriya Zudova |
| * |
| * @version $Revision: 1.30 $ Last modification: $Date: 2003/07/25 17:32:33 $ |
| * @version $Revision: 1.31 $ Last modification: $Date: 2003/07/25 17:40:34 $ |
| */ |
| public class RegionEditorPlugin |
| extends JPanel |
| 244,7 → 244,7 |
|---|
| imageName, environment.getDocumentElement()); |
| |
| if (imageUrl==null) { |
| gui.getLogInterface().log(LogInterface.TYPE_ERROR, |
| gui.getLogPanelImpl().log(LogInterface.TYPE_ERROR, |
| "Picture " + "\"" + imageName + "\"" + " not found in document."); |
| } |
| |
| 491,7 → 491,7 |
|---|
| gui.getStatusInterface().setMessage("Show image from " + fileName); |
| } |
| catch(IOException ex) { |
| gui.getLogInterface().log( |
| gui.getLogPanelImpl().log( |
| LogInterface.TYPE_ERROR, "Cannot open file " + fileName); |
| gui.getStatusInterface().setIcon(StatusInterface.ICON_ERROR); |
| gui.getStatusInterface().setMessage("Cannot open file " + fileName); |