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

diff --git a/altosui/AltosPreferences.java b/altosui/AltosPreferences.java
index 716559ab..cc2b1a95 100644
--- a/altosui/AltosPreferences.java
+++ b/altosui/AltosPreferences.java
@@ -58,6 +58,15 @@ class AltosPreferences {
 	/* font size preferences name */
 	final static String fontSizePreference = "FONT-SIZE";
 
+	/* Launcher serial preference name */
+	final static String launcherSerialPreference = "LAUNCHER-SERIAL";
+
+	/* Launcher channel preference name */
+	final static String launcherChannelPreference = "LAUNCHER-CHANNEL";
+	
+	/* Look&Feel preference name */
+	final static String lookAndFeelPreference = "LOOK-AND-FEEL";
+
 	/* Default logdir is ~/TeleMetrum */
 	final static String logdirName = "TeleMetrum";
 
@@ -95,6 +104,10 @@ class AltosPreferences {
 
 	static int font_size = Altos.font_size_medium;
 
+	static LinkedList<AltosUIListener> ui_listeners;
+
+	static String look_and_feel = null;
+
 	/* List of frequencies */
 	final static String common_frequencies_node_name = "COMMON-FREQUENCIES";
 	static AltosFrequency[] common_frequencies;
@@ -143,6 +156,9 @@ class AltosPreferences {
 			node.put(String.format(description_format, i), frequencies[i].description);
 		}
 	}
+	static int launcher_serial;
+
+	static int launcher_channel;
 
 	public static void init() {
 		preferences = Preferences.userRoot().node("/org/altusmetrum/altosui");
@@ -176,6 +192,10 @@ class AltosPreferences {
 		font_size = preferences.getInt(fontSizePreference, Altos.font_size_medium);
 		Altos.set_fonts(font_size);
 
+		launcher_serial = preferences.getInt(launcherSerialPreference, 0);
+
+		launcher_channel = preferences.getInt(launcherChannelPreference, 0);
+
 		String firmwaredir_string = preferences.get(firmwaredirPreference, null);
 		if (firmwaredir_string != null)
 			firmwaredir = new File(firmwaredir_string);
@@ -186,6 +206,10 @@ class AltosPreferences {
 		AltosSerial.set_debug(serial_debug);
 
 		common_frequencies = load_common_frequencies();
+
+		look_and_feel = preferences.get(lookAndFeelPreference, UIManager.getSystemLookAndFeelClassName());
+
+		ui_listeners = new LinkedList<AltosUIListener>();
 	}
 
 	static { init(); }
@@ -377,6 +401,35 @@ class AltosPreferences {
 		}
 	}
 
+	public static void set_look_and_feel(String new_look_and_feel) {
+		look_and_feel = new_look_and_feel;
+		try {
+			UIManager.setLookAndFeel(look_and_feel);
+		} catch (Exception e) {
+		}
+		synchronized(preferences) {
+			preferences.put(lookAndFeelPreference, look_and_feel);
+			flush_preferences();
+			for (AltosUIListener l : ui_listeners)
+				l.ui_changed(look_and_feel);
+		}
+	}
+
+	public static String look_and_feel() {
+		return look_and_feel;
+	}
+
+	public static void register_ui_listener(AltosUIListener l) {
+		synchronized(preferences) {
+			ui_listeners.add(l);
+		}
+	}
+
+	public static void unregister_ui_listener(AltosUIListener l) {
+		synchronized (preferences) {
+			ui_listeners.remove(l);
+		}
+	}
 	public static void set_serial_debug(boolean new_serial_debug) {
 		serial_debug = new_serial_debug;
 		AltosSerial.set_debug(serial_debug);
@@ -390,6 +443,32 @@ class AltosPreferences {
 		return serial_debug;
 	}
 
+	public static void set_launcher_serial(int new_launcher_serial) {
+		launcher_serial = new_launcher_serial;
+		System.out.printf("set launcher serial to %d\n", new_launcher_serial);
+		synchronized (preferences) {
+			preferences.putInt(launcherSerialPreference, launcher_serial);
+			flush_preferences();
+		}
+	}
+
+	public static int launcher_serial() {
+		return launcher_serial;
+	}
+
+	public static void set_launcher_channel(int new_launcher_channel) {
+		launcher_channel = new_launcher_channel;
+		System.out.printf("set launcher channel to %d\n", new_launcher_channel);
+		synchronized (preferences) {
+			preferences.putInt(launcherChannelPreference, launcher_channel);
+			flush_preferences();
+		}
+	}
+
+	public static int launcher_channel() {
+		return launcher_channel;
+	}
+	
 	public static Preferences bt_devices() {
 		return preferences.node("bt_devices");
 	}