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);
}
}
public static int font_size() {
- synchronized (preferences) {
+ synchronized (backend) {
return font_size;
}
}
}
public static String look_and_feel() {
- synchronized (preferences) {
+ synchronized (backend) {
return look_and_feel;
}
}
}
}
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);
}
public static boolean serial_debug() {
- synchronized (preferences) {
+ synchronized (backend) {
return serial_debug;
}
}