01: // Icons.java
02: // $Id: Icons.java,v 1.9 2000/08/16 21:37:31 ylafon Exp $
03: // (c) COPYRIGHT MIT, INRIA and Keio, 1999.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigadmin.widgets;
07:
08: import javax.swing.ImageIcon;
09:
10: import org.w3c.jigadmin.PropertyManager;
11:
12: /**
13: * Manages all JigAdmin icons.
14: * @version $Revision: 1.9 $
15: * @author Benoît Mahé (bmahe@w3.org)
16: */
17: public class Icons {
18:
19: public static ImageIcon saveIcon = null;
20: public static ImageIcon stopIcon = null;
21: public static ImageIcon helpIcon = null;
22: public static ImageIcon deleteIcon = null;
23: public static ImageIcon addIcon = null;
24: public static ImageIcon reindexIcon = null;
25: public static ImageIcon infoIcon = null;
26: public static ImageIcon dirIcon = null;
27: public static ImageIcon resIcon = null;
28: public static ImageIcon frameIcon = null;
29: public static ImageIcon filterIcon = null;
30: public static ImageIcon metaDataIcon = null;
31: public static ImageIcon serverIcon = null;
32: public static ImageIcon arrowUpIcon = null;
33: public static ImageIcon arrowDownIcon = null;
34: public static ImageIcon leftIcon = null;
35: public static ImageIcon rightIcon = null;
36: public static ImageIcon editIcon = null;
37: public static ImageIcon closeIcon = null;
38: public static ImageIcon copyRIcon = null;
39: public static ImageIcon copyLIcon = null;
40: public static ImageIcon teamIcon = null;
41: public static ImageIcon w3chIcon = null;
42: public static ImageIcon w3cmIcon = null;
43: public static ImageIcon jigsawIcon = null;
44:
45: static {
46: PropertyManager pm = PropertyManager.getPropertyManager();
47:
48: saveIcon = new ImageIcon(pm.getIconLocation("save"));
49: stopIcon = new ImageIcon(pm.getIconLocation("stop"));
50: helpIcon = new ImageIcon(pm.getIconLocation("help"));
51: deleteIcon = new ImageIcon(pm.getIconLocation("delete"));
52: addIcon = new ImageIcon(pm.getIconLocation("add"));
53: reindexIcon = new ImageIcon(pm.getIconLocation("reindex"));
54: infoIcon = new ImageIcon(pm.getIconLocation("reference"));
55: dirIcon = new ImageIcon(pm.getIconLocation("dir"));
56: resIcon = new ImageIcon(pm.getIconLocation("file"));
57: frameIcon = new ImageIcon(pm.getIconLocation("frame"));
58: filterIcon = new ImageIcon(pm.getIconLocation("filter"));
59: metaDataIcon = new ImageIcon(pm.getIconLocation("meta"));
60: serverIcon = new ImageIcon(pm.getIconLocation("server"));
61: arrowUpIcon = new ImageIcon(pm.getIconLocation("pup"));
62: arrowDownIcon = new ImageIcon(pm.getIconLocation("pdown"));
63: leftIcon = new ImageIcon(pm.getIconLocation("shadowleft"));
64: rightIcon = new ImageIcon(pm.getIconLocation("shadowright"));
65: editIcon = new ImageIcon(pm.getIconLocation("edit"));
66: closeIcon = new ImageIcon(pm.getIconLocation("close"));
67: copyLIcon = new ImageIcon(pm.getIconLocation("copy2left"));
68: copyRIcon = new ImageIcon(pm.getIconLocation("copy2right"));
69: teamIcon = new ImageIcon(pm.getIconLocation("team"));
70: w3chIcon = new ImageIcon(pm.getIconLocation("w3c_home"));
71: w3cmIcon = new ImageIcon(pm.getIconLocation("w3c_main"));
72: jigsawIcon = new ImageIcon(pm.getIconLocation("jigsaw"));
73: }
74:
75: private Icons() {
76: //no instance needed
77: }
78:
79: }
|