launcherElementList.get(t).setOrder((short) t);
}
}
public void refreshMapFromDB() {
Log.d(Constants.TAG, "refresh launcher from DB");
<BUG>launcherElementList = getDBLauncherElements(context);
recomputeOrder();</BUG>
}
public void remove(LauncherElement launcherElement) {
SharedPreferences preferences = PreferenceManager.getDefaultSharedPreferences(context);

launcherElementList.get(t).setOrder((short) t);
}
}
public void refreshMapFromDB() {
Log.d(Constants.TAG, "refresh launcher from DB");
launcherElementList = getDBLauncherElements(context);
filterElementsFromPrefs();
recomputeOrder();
}
public void remove(LauncherElement launcherElement) {
SharedPreferences preferences = PreferenceManager.getDefaultSharedPreferences(context);
