01: // Utilities.java
02: // $Id: Utilities.java,v 1.5 2000/08/16 21:37:57 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1998.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.tools.widgets;
07:
08: import java.awt.Font;
09: import java.awt.Insets;
10: import java.awt.Dimension;
11:
12: /**
13: * @version $Revision: 1.5 $
14: * @author Benoît Mahé (bmahe@w3.org)
15: */
16: public class Utilities {
17:
18: public final static Insets insets0;
19: public final static Insets insets2;
20: public final static Insets insets4;
21: public final static Insets insets5;
22: public final static Insets insets10;
23: public final static Insets insets20;
24:
25: public final static Font smallFont;
26: public final static Font defaultFont;
27: public final static Font boldFont;
28: public final static Font mediumFont;
29: public final static Font mediumBoldFont;
30: public final static Font bigFont;
31: public final static Font bigBoldFont;
32: public final static Font reallyBigFont;
33: public final static Font reallyBigBoldFont;
34:
35: public final static Dimension dim0_0;
36: public final static Dimension dim1_1;
37: public final static Dimension dim2_2;
38: public final static Dimension dim3_3;
39: public final static Dimension dim4_4;
40: public final static Dimension dim5_5;
41: public final static Dimension dim10_10;
42: public final static Dimension dim20_20;
43:
44: static {
45: insets0 = new Insets(0, 0, 0, 0);
46: insets2 = new Insets(2, 2, 2, 2);
47: insets4 = new Insets(4, 4, 4, 4);
48: insets5 = new Insets(5, 5, 5, 5);
49: insets10 = new Insets(10, 10, 10, 10);
50: insets20 = new Insets(20, 20, 20, 20);
51:
52: smallFont = new Font("Dialog", Font.PLAIN, 10);
53: defaultFont = new Font("Dialog", Font.PLAIN, 12);
54: boldFont = new Font("Dialog", Font.BOLD, 12);
55: mediumFont = new Font("Dialog", Font.PLAIN, 15);
56: mediumBoldFont = new Font("Dialog", Font.BOLD, 15);
57: bigFont = new Font("Dialog", Font.PLAIN, 18);
58: bigBoldFont = new Font("Dialog", Font.BOLD, 18);
59: reallyBigFont = new Font("Dialog", Font.PLAIN, 24);
60: reallyBigBoldFont = new Font("Dialog", Font.BOLD, 24);
61:
62: dim0_0 = new Dimension(0, 0);
63: dim1_1 = new Dimension(1, 1);
64: dim2_2 = new Dimension(2, 2);
65: dim3_3 = new Dimension(3, 3);
66: dim4_4 = new Dimension(4, 4);
67: dim5_5 = new Dimension(5, 5);
68: dim10_10 = new Dimension(10, 10);
69: dim20_20 = new Dimension(20, 20);
70: }
71:
72: }
|