Replaced file structures for themes in the correct format

1 files changed, 0 insertions, 40 deletions

diff --git a/raveos-theme/gnome/theme-data/extensions/installed/blur-my-shell@aunetx/conveniences/settings_updater.js b/raveos-theme/gnome/theme-data/extensions/installed/blur-my-shell@aunetx/conveniences/settings_updater.js
deleted file mode 100644
index 2affbc1..0000000
--- a/raveos-theme/gnome/theme-data/extensions/installed/blur-my-shell@aunetx/conveniences/settings_updater.js
+++ /dev/null
@@ -1,40 +0,0 @@
-import { Settings } from './settings.js';
-import { KEYS, DEPRECATED_KEYS } from './keys.js';
-
-const CURRENT_SETTINGS_VERSION = 2;
-
-export function update_from_old_settings(gsettings) {
-    const preferences = new Settings(KEYS, gsettings);
-    const deprecated_preferences = new Settings(DEPRECATED_KEYS, gsettings);
-    const old_version = preferences.settings.get_int('settings-version');
-
-    if (old_version < CURRENT_SETTINGS_VERSION) {
-        // set artifacts hacks to be 1 at most, as it should be suitable now that most big bugs have
-        // been resolved (and especially because hack levels to 2 now means disabling clipped
-        // redraws entirely, which is very much not what we want for users that update)
-        if (preferences.HACKS_LEVEL > 1)
-            preferences.HACKS_LEVEL = 1;
-
-        // enable dash-to-dock blurring, as most disabled it due to the lack of rounded corners; set
-        // it to static blur by default too and with transparent background
-        preferences.dash_to_dock.BLUR = true;
-        preferences.dash_to_dock.STATIC_BLUR = true;
-        preferences.dash_to_dock.STYLE_DASH_TO_DOCK = 0;
-
-        // 'customize' has been removed: we merge the current used settings
-        ['appfolder', 'panel', 'dash_to_dock', 'applications', 'window_list'].forEach(
-            component_name => {
-                const deprecated_component = deprecated_preferences[component_name];
-                const new_component = preferences[component_name];
-                if (!deprecated_component.CUSTOMIZE) {
-                    new_component.SIGMA = deprecated_preferences.SIGMA;
-                    new_component.BRIGHTNESS = deprecated_preferences.BRIGHTNESS;
-                }
-            });
-
-        // remove old preferences in order not to clutter the gsettings
-        deprecated_preferences.reset();
-    }
-
-    preferences.settings.set_int('settings-version', CURRENT_SETTINGS_VERSION);
-}
\ No newline at end of file