X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=altosui%2FAltosPreferences.java;h=716559ab7e0a9dc06e7c94f5a18a225eb6baa044;hp=de926b38ca2abca9dfbd5a6fc78b3651c39682a4;hb=cbfbaabb39f9f7709d00cf3dc63cc1bc7563062e;hpb=9849883a754a73b861dd7be530753ff5c2abb499

diff --git a/altosui/AltosPreferences.java b/altosui/AltosPreferences.java
index de926b38..716559ab 100644
--- a/altosui/AltosPreferences.java
+++ b/altosui/AltosPreferences.java
@@ -55,6 +55,9 @@ class AltosPreferences {
 	/* scanning telemetry preferences name */
 	final static String scanningTelemetryPreference = "SCANNING-TELEMETRY";
 
+	/* font size preferences name */
+	final static String fontSizePreference = "FONT-SIZE";
+
 	/* Default logdir is ~/TeleMetrum */
 	final static String logdirName = "TeleMetrum";
 
@@ -88,6 +91,10 @@ class AltosPreferences {
 	/* Scanning telemetry */
 	static int scanning_telemetry;
 
+	static LinkedList<AltosFontListener> font_listeners;
+
+	static int font_size = Altos.font_size_medium;
+
 	/* List of frequencies */
 	final static String common_frequencies_node_name = "COMMON-FREQUENCIES";
 	static AltosFrequency[] common_frequencies;
@@ -164,6 +171,11 @@ class AltosPreferences {
 
 		scanning_telemetry = preferences.getInt(scanningTelemetryPreference,(1 << Altos.ao_telemetry_standard));
 
+		font_listeners = new LinkedList<AltosFontListener>();
+
+		font_size = preferences.getInt(fontSizePreference, Altos.font_size_medium);
+		Altos.set_fonts(font_size);
+
 		String firmwaredir_string = preferences.get(firmwaredirPreference, null);
 		if (firmwaredir_string != null)
 			firmwaredir = new File(firmwaredir_string);
@@ -335,6 +347,36 @@ class AltosPreferences {
 		return firmwaredir;
 	}
 
+	public static int font_size() {
+		return font_size;
+	}
+
+	static void set_fonts() {
+	}
+
+	public static void set_font_size(int new_font_size) {
+		font_size = new_font_size;
+		synchronized (preferences) {
+			preferences.putInt(fontSizePreference, font_size);
+			flush_preferences();
+			Altos.set_fonts(font_size);
+			for (AltosFontListener l : font_listeners)
+				l.font_size_changed(font_size);
+		}
+	}
+
+	public static void register_font_listener(AltosFontListener l) {
+		synchronized (preferences) {
+			font_listeners.add(l);
+		}
+	}
+
+	public static void unregister_font_listener(AltosFontListener l) {
+		synchronized (preferences) {
+			font_listeners.remove(l);
+		}
+	}
+
 	public static void set_serial_debug(boolean new_serial_debug) {
 		serial_debug = new_serial_debug;
 		AltosSerial.set_debug(serial_debug);