diff options
| author | Anthony Towns <aj@erisian.com.au> | 2010-11-18 05:54:06 +1000 |
|---|---|---|
| committer | Anthony Towns <aj@erisian.com.au> | 2010-11-18 05:54:06 +1000 |
| commit | 939be6793238a275b7682ecc376fed14379cf044 (patch) | |
| tree | f05feaf2572cccd5eb1e8565b70fc6948f607194 /ao-tools/altosui/Altos.java | |
| parent | e68fe9454352087889c560d95797922493117acb (diff) | |
| parent | 1a4b6e96f823035b113f01d1bdfd61afc1f33e25 (diff) | |
Merge branch 'buttonbox' of git://git.gag.com/fw/altos into buttonbox
Conflicts:
ao-tools/altosui/AltosFlightUI.java
Diffstat (limited to 'ao-tools/altosui/Altos.java')
| -rw-r--r-- | ao-tools/altosui/Altos.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ao-tools/altosui/Altos.java b/ao-tools/altosui/Altos.java index 997550e0..197e98db 100644 --- 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); |