1 files changed, 0 insertions, 45 deletions
diff --git a/raveos-theme/gnome/theme-data/extensions/installed/appindicatorsupport@rgcjonas.gmail.com/prefs.js b/raveos-theme/gnome/theme-data/extensions/installed/appindicatorsupport@rgcjonas.gmail.com/prefs.js
deleted file mode 100644
index 344ba0a..0000000
--- a/raveos-theme/gnome/theme-data/extensions/installed/appindicatorsupport@rgcjonas.gmail.com/prefs.js
+++ /dev/null
@@ -1,45 +0,0 @@
-// -*- mode: js2; indent-tabs-mode: nil; js2-basic-offset: 4 -*-
-
-/* exported init, buildPrefsWidget */
-
-import Gtk from 'gi://Gtk';  // will be removed
-import Gdk from 'gi://Gdk';
-import * as GeneralPreferences from './preferences/generalPage.js';
-import * as CustomIconPreferences from './preferences/customIconPage.js';
-
-import {
-    ExtensionPreferences,
-    gettext as _
-} from 'resource:///org/gnome/Shell/Extensions/js/extensions/prefs.js';
-
-const SettingsKey = {
-    LEGACY_TRAY_ENABLED: 'legacy-tray-enabled',
-    COMPACT_MODE_ENABLED: 'compact-mode-enabled',
-    ICON_SIZE: 'icon-size',
-    ICON_OPACITY: 'icon-opacity',
-    ICON_SATURATION: 'icon-saturation',
-    ICON_BRIGHTNESS: 'icon-brightness',
-    ICON_CONTRAST: 'icon-contrast',
-    TRAY_POS: 'tray-pos',
-    CUSTOM_ICONS: 'custom-icons',
-};
-
-export default class DockPreferences extends ExtensionPreferences {
-    fillPreferencesWindow(window) {
-        const iconTheme = Gtk.IconTheme.get_for_display(Gdk.Display.get_default());
-        if (!iconTheme.get_search_path().includes(`${this.path}/icons`))
-            iconTheme.add_search_path(`${this.path}/icons`);
-
-
-        const settings = this.getSettings();
-        const generalPage = new GeneralPreferences.GeneralPage(settings, SettingsKey);
-        const customIconPage = new CustomIconPreferences.CustomIconPage(settings, SettingsKey);
-
-        window.add(generalPage);
-        window.add(customIconPage);
-
-        window.connect('close-request', () => {
-            window.destroy();
-        });
-    }
-}