X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=altosui%2FAltosUIPreferences.java;h=9c56d0318e35eb26372e7554e7d27086640d3f52;hb=d374d6be7eb040457f4df6c38b5d057f26ee741c;hp=03e8e1290936e21de066365f44e1f7a9fe4e4d7f;hpb=ec036e8fe057f4b641ba9ee17d6dce2689816047;p=fw%2Faltos diff --git a/altosui/AltosUIPreferences.java b/altosui/AltosUIPreferences.java index 03e8e129..9c56d031 100644 --- a/altosui/AltosUIPreferences.java +++ b/altosui/AltosUIPreferences.java @@ -22,6 +22,7 @@ import java.util.*; import java.awt.Component; import javax.swing.*; import org.altusmetrum.AltosLib.*; +import org.altusmetrum.altosuilib.*; public class AltosUIPreferences extends AltosPreferences { @@ -46,6 +47,8 @@ public class AltosUIPreferences extends AltosPreferences { static boolean serial_debug; public static void init() { + AltosPreferences.init(new AltosUIPreferencesBackend()); + font_listeners = new LinkedList(); font_size = backend.getInt(fontSizePreference, Altos.font_size_medium); @@ -98,7 +101,7 @@ public class AltosUIPreferences extends AltosPreferences { } } public static int font_size() { - synchronized (preferences) { + synchronized (backend) { return font_size; } } @@ -144,7 +147,7 @@ public class AltosUIPreferences extends AltosPreferences { } public static String look_and_feel() { - synchronized (preferences) { + synchronized (backend) { return look_and_feel; } } @@ -161,7 +164,7 @@ public class AltosUIPreferences extends AltosPreferences { } } public static void set_serial_debug(boolean new_serial_debug) { - AltosLink.set_debug(serial_debug); + AltosLink.set_debug(new_serial_debug); synchronized (backend) { serial_debug = new_serial_debug; backend.putBoolean(serialDebugPreference, serial_debug); @@ -170,7 +173,7 @@ public class AltosUIPreferences extends AltosPreferences { } public static boolean serial_debug() { - synchronized (preferences) { + synchronized (backend) { return serial_debug; } }