commit 7e9139c179ca7bf15f39e7dce68b030ebea5672c
Author: Leszek Koltunski <leszek@koltunski.pl>
Date:   Fri Apr 1 00:38:33 2022 +0200

    Bugfix: in addition to deleting the files from local storage, also delete mentions of downloadable-but-now-built-in objects from Shared Prefs.

diff --git a/src/main/java/org/distorted/objects/RubikObjectList.java b/src/main/java/org/distorted/objects/RubikObjectList.java
index 6ecf2aa6..5dd0c23c 100644
--- a/src/main/java/org/distorted/objects/RubikObjectList.java
+++ b/src/main/java/org/distorted/objects/RubikObjectList.java
@@ -236,6 +236,7 @@ public class RubikObjectList
       {
       if( SHOW_DOWNLOADED_DEBUG ) android.util.Log.e("D", "New downloaded object "+shortName+" is already built-in, deleting");
 
+      mDownloadedObjects.remove(obj);
       RubikFiles files = RubikFiles.getInstance();
       files.deleteIcon(context,shortName);
       files.deleteJsonObject(context,shortName);
@@ -292,9 +293,12 @@ public class RubikObjectList
 
       String objects = downloadedObjects.toString();
       if( SHOW_DOWNLOADED_DEBUG ) android.util.Log.e("D", "saving: "+objects);
-
       editor.putString("rol_downloaded", objects );
       }
+    else
+      {
+      editor.putString("rol_downloaded", "" );
+      }
     }
 
 ///////////////////////////////////////////////////////////////////////////////////////////////////