01: // ResourceHelper.java
02: // $Id: ResourceHelper.java,v 1.3 1999/03/05 10:35:09 bmahe Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1997.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigadmin.editors;
07:
08: import javax.swing.JOptionPane;
09: import javax.swing.ImageIcon;
10:
11: import org.w3c.jigadmin.gui.Message;
12:
13: abstract public class ResourceHelper extends
14: org.w3c.jigadm.editors.ResourceHelper {
15:
16: /**
17: * Show an error message.
18: * @param msg the error message.
19: * @param ex an Exception instance.
20: */
21: protected void errorPopup(String msg, Exception ex) {
22: Message.showErrorMessage(getComponent(), ex, msg);
23: }
24:
25: /**
26: * Show a message.
27: * @param msg the message.
28: */
29: protected void msgPopup(String msg) {
30: Message.showInformationMessage(getComponent(), msg);
31: }
32:
33: }
|