X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=altosui%2FAltosUIPreferences.java;h=a28c07b06a9c5202cb71989b99012332eedc587e;hb=2f2734bb418f5c3a89fa3f1bf1b98ce4cfe432e1;hp=03e8e1290936e21de066365f44e1f7a9fe4e4d7f;hpb=ec036e8fe057f4b641ba9ee17d6dce2689816047;p=fw%2Faltos

diff --git a/altosui/AltosUIPreferences.java b/altosui/AltosUIPreferences.java
index 03e8e129..a28c07b0 100644
--- a/altosui/AltosUIPreferences.java
+++ b/altosui/AltosUIPreferences.java
@@ -46,6 +46,8 @@ public class AltosUIPreferences extends AltosPreferences {
 	static boolean serial_debug;
 
 	public static void init() {
+		AltosPreferences.init(new AltosUIPreferencesBackend());
+
 		font_listeners = new LinkedList<AltosFontListener>();
 
 		font_size = backend.getInt(fontSizePreference, Altos.font_size_medium);
@@ -98,7 +100,7 @@ public class AltosUIPreferences extends AltosPreferences {
 		}
 	}
 	public static int font_size() {
-		synchronized (preferences) {
+		synchronized (backend) {
 			return font_size;
 		}
 	}
@@ -144,7 +146,7 @@ public class AltosUIPreferences extends AltosPreferences {
 	}
 
 	public static String look_and_feel() {
-		synchronized (preferences) {
+		synchronized (backend) {
 			return look_and_feel;
 		}
 	}
@@ -170,7 +172,7 @@ public class AltosUIPreferences extends AltosPreferences {
 	}
 
 	public static boolean serial_debug() {
-		synchronized (preferences) {
+		synchronized (backend) {
 			return serial_debug;
 		}
 	}