altosui: Add primitive UI for TeleLaunch

[fw/altos] / altosui / AltosPreferences.java

diff --git a/altosui/AltosPreferences.java b/altosui/AltosPreferences.java
index 716559ab7e0a9dc06e7c94f5a18a225eb6baa044..48aed44125c6c93d74d16d5493e7c4461e8f7b68 100644 (file)
--- a/altosui/AltosPreferences.java
+++ b/altosui/AltosPreferences.java
@@ -58,6 +58,12 @@ class AltosPreferences {
        /* font size preferences name */
        final static String fontSizePreference = "FONT-SIZE";
 
+       /* Launcher serial preference name */
+       final static String launcherSerialPreference = "LAUNCHER-SERIAL";
+
+       /* Launcher channel prefernce name */
+       final static String launcherChannelPreference = "LAUNCHER-CHANNEL";
+       
        /* Default logdir is ~/TeleMetrum */
        final static String logdirName = "TeleMetrum";
 
@@ -143,6 +149,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 +185,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);
@@ -390,6 +403,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");
        }