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