Signed-off-by: Keith Packard <keithp@keithp.com>
- final static String[] font_size_names = { "Small", "Medium", "Large" };
+ final static String[] font_size_names = { "Small", "Medium", "Large", "Huge" };
public GridBagConstraints constraints (int x, int width, int fill) {
GridBagConstraints c = new GridBagConstraints();
public GridBagConstraints constraints (int x, int width, int fill) {
GridBagConstraints c = new GridBagConstraints();
final public static int font_size_small = 1;
final public static int font_size_medium = 2;
final public static int font_size_large = 3;
final public static int font_size_small = 1;
final public static int font_size_medium = 2;
final public static int font_size_large = 3;
+ final public static int font_size_huge = 4;
final public static int position_top_left = 0;
final public static int position_top = 1;
final public static int position_top_left = 0;
final public static int position_top = 1;
status_size = 30;
table_size = 17;
break;
status_size = 30;
table_size = 17;
break;
+ case font_size_huge:
+ brief_size = 30;
+ status_size = 36;
+ table_size = 24;
+ break;
}
label_font = new Font("Dialog", Font.PLAIN, brief_size);
value_font = new Font("Monospaced", Font.PLAIN, brief_size);
}
label_font = new Font("Dialog", Font.PLAIN, brief_size);
value_font = new Font("Monospaced", Font.PLAIN, brief_size);