public static void set_launcher_serial(int new_launcher_serial) {
launcher_serial = new_launcher_serial;
public static void set_launcher_serial(int new_launcher_serial) {
launcher_serial = new_launcher_serial;
synchronized (preferences) {
preferences.putInt(launcherSerialPreference, launcher_serial);
flush_preferences();
synchronized (preferences) {
preferences.putInt(launcherSerialPreference, launcher_serial);
flush_preferences();
public static void set_launcher_channel(int new_launcher_channel) {
launcher_channel = new_launcher_channel;
public static void set_launcher_channel(int new_launcher_channel) {
launcher_channel = new_launcher_channel;
synchronized (preferences) {
preferences.putInt(launcherChannelPreference, launcher_channel);
flush_preferences();
synchronized (preferences) {
preferences.putInt(launcherChannelPreference, launcher_channel);
flush_preferences();