font_listeners = new LinkedList<AltosFontListener>();
font_size = backend.getInt(fontSizePreference, Altos.font_size_medium);
font_listeners = new LinkedList<AltosFontListener>();
font_size = backend.getInt(fontSizePreference, Altos.font_size_medium);
synchronized (backend) {
serial_debug = new_serial_debug;
backend.putBoolean(serialDebugPreference, serial_debug);
synchronized (backend) {
serial_debug = new_serial_debug;
backend.putBoolean(serialDebugPreference, serial_debug);