X-Git-Url: https://git.gag.com/?a=blobdiff_plain;ds=sidebyside;f=altosui%2FAltosUIPreferences.java;fp=altosui%2FAltosUIPreferences.java;h=6e4c9097268f697ca3408f6115d7c45e92a3bd31;hb=67b618409a0d34fff26cac6025bc159ff92ede9c;hp=03e8e1290936e21de066365f44e1f7a9fe4e4d7f;hpb=ec036e8fe057f4b641ba9ee17d6dce2689816047;p=fw%2Faltos

diff --git a/altosui/AltosUIPreferences.java b/altosui/AltosUIPreferences.java
index 03e8e129..6e4c9097 100644
--- a/altosui/AltosUIPreferences.java
+++ b/altosui/AltosUIPreferences.java
@@ -98,7 +98,7 @@ public class AltosUIPreferences extends AltosPreferences {
 		}
 	}
 	public static int font_size() {
-		synchronized (preferences) {
+		synchronized (backend) {
 			return font_size;
 		}
 	}
@@ -144,7 +144,7 @@ public class AltosUIPreferences extends AltosPreferences {
 	}
 
 	public static String look_and_feel() {
-		synchronized (preferences) {
+		synchronized (backend) {
 			return look_and_feel;
 		}
 	}
@@ -170,7 +170,7 @@ public class AltosUIPreferences extends AltosPreferences {
 	}
 
 	public static boolean serial_debug() {
-		synchronized (preferences) {
+		synchronized (backend) {
 			return serial_debug;
 		}
 	}