public void remove(LauncherElement launcherElement) {
SharedPreferences preferences = PreferenceManager.getDefaultSharedPreferences(context);
Set<String> visibili = preferences.getStringSet("launcher_elems", new HashSet<String>());
launcherElementList.remove(launcherElement);
deleteLauncher(launcherElement);
<BUG>visibili.remove("" + launcherElement.getId());
preferences.edit().putStringSet("launcher_elems", visibili).apply();</BUG>
recomputeOrder();
}
public void updateLauncherElement(LauncherElement nodeIN) {

public void remove(LauncherElement launcherElement) {
SharedPreferences preferences = PreferenceManager.getDefaultSharedPreferences(context);
Set<String> visibili = preferences.getStringSet("launcher_elems", new HashSet<String>());
launcherElementList.remove(launcherElement);
deleteLauncher(launcherElement);
recomputeOrder();
}
public void updateLauncherElement(LauncherElement nodeIN) {
