[gnome] Update extensions

gnome/.local/share/gnome-shell/extensions/blur-my-shell@aunetx/conveniences/settings_updater.js

@@ -0,0 +1,40 @@
+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);
+}