From: Keith Packard Date: Sun, 27 Aug 2017 02:15:07 +0000 (-0700) Subject: altosuilib: Add "Huge" font size X-Git-Tag: 1.8.1~16 X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=commitdiff_plain;h=465bb7242f39f6f8489e5fd52ce88031106c1c76;hp=3dde7f4d05414ac4907c91c68c88cc1d06233605 altosuilib: Add "Huge" font size Signed-off-by: Keith Packard --- diff --git a/altosuilib/AltosUIConfigure.java b/altosuilib/AltosUIConfigure.java index e3d86724..6ca8c777 100644 --- a/altosuilib/AltosUIConfigure.java +++ b/altosuilib/AltosUIConfigure.java @@ -75,7 +75,7 @@ public class AltosUIConfigure public int row; - 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(); diff --git a/altosuilib/AltosUILib.java b/altosuilib/AltosUILib.java index ef706e36..81a8b131 100644 --- a/altosuilib/AltosUILib.java +++ b/altosuilib/AltosUILib.java @@ -36,6 +36,7 @@ public class AltosUILib extends AltosLib { 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; @@ -69,6 +70,11 @@ public class AltosUILib extends AltosLib { 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);