/* Serial debug */
static boolean serial_debug;
- public static void init() {
+ public static void init(AltosUIPreferencesBackend in_backend) {
+ AltosPreferences.init(in_backend);
+
font_listeners = new LinkedList<AltosFontListener>();
font_size = backend.getInt(fontSizePreference, Altos.font_size_medium);
AltosLink.set_debug(serial_debug);
}
- static { init(); }
-
static void set_component(Component in_component) {
component = in_component;
}
}
}
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 boolean serial_debug() {
- synchronized (preferences) {
+ synchronized (backend) {
return serial_debug;
}
}