}
}
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;
}
}