X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=ao-tools%2Faltosui%2FAltos.java;h=8ee94e04b0b7bcd6d83815c5c3541ec231e378a9;hb=a08b2a6363c194195db92029743f6612676373ce;hp=07bd01ae2fb5bb5e4d342ac171514be0d7885d25;hpb=c443f43f8dee6e0fcbcecf9d09e948fd928b7af4;p=fw%2Faltos

diff --git a/ao-tools/altosui/Altos.java b/ao-tools/altosui/Altos.java
index 07bd01ae..8ee94e04 100644
--- a/ao-tools/altosui/Altos.java
+++ b/ao-tools/altosui/Altos.java
@@ -67,6 +67,14 @@ 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 final int text_width = 16;
+
 	static void initialize_map()
 	{
 		string_to_state.put("startup", ao_flight_startup);
@@ -200,4 +208,11 @@ public class Altos {
 		}
 		return v * sign;
 	}
+
+	static String replace_extension(String input, String extension) {
+		int dot = input.lastIndexOf(".");
+		if (dot > 0)
+			input = input.substring(0,dot);
+		return input.concat(extension);
+	}
 }