Merge branch 'buttonbox' of git://git.gag.com/fw/altos into buttonbox

[fw/altos] / ao-tools / altosui / Altos.java

diff --git a/ao-tools/altosui/Altos.java b/ao-tools/altosui/Altos.java
index 997550e005ac91fc1de2cdbb03c67aad6c88355e..197e98db7956bc4645fbcadb1ec9e8fe5f596320 100644 (file)
--- a/ao-tools/altosui/Altos.java
+++ b/ao-tools/altosui/Altos.java
@@ -67,6 +67,12 @@ public class Altos {
 
        static boolean map_initialized = false;
 
+       static final int tab_elt_pad = 5;
+
+       static final Font label_font = new Font("Dialog", Font.PLAIN, 22);
+       static final Font value_font = new Font("Monospaced", Font.PLAIN, 22);
+       static final Font status_font = new Font("SansSerif", Font.BOLD, 24);
+
        static void initialize_map()
        {
                string_to_state.put("startup", ao_flight_startup);