1 package org.glassbox;
2
3 import java.awt.*;
4 import javax.swing.*;
5 import javax.swing.border.*;
6
7 /***
8 The actual properties of the application's theme.
9 This interface may have different implementations which provide
10 different ways of interpreting the ID's of the property keys.
11 @author Tilman Linden
12 */
13 public interface ThemeProperties {
14 Font getFont(String key);
15
16 Color getColor(String key);
17
18 Cursor getCursor(String key);
19
20 Paint getPaint(String key);
21
22 Insets getInsets(String key);
23
24 Stroke getStroke(String key);
25
26 Icon getIcon(String key);
27
28 Border getBorder(String key);
29
30 Dimension getSize(String key);
31
32 String getText(String key);
33 }