prefs.js 1.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. import Gdk from 'gi://Gdk';
  2. import Gtk from 'gi://Gtk';
  3. import { ExtensionPreferences } from 'resource:///org/gnome/Shell/Extensions/js/extensions/prefs.js';
  4. import { Settings } from './conveniences/settings.js';
  5. import { Keys } from './conveniences/keys.js';
  6. import { addMenu } from './preferences/menu.js';
  7. import { General } from './preferences/general.js';
  8. import { Panel } from './preferences/panel.js';
  9. import { Overview } from './preferences/overview.js';
  10. import { Dash } from './preferences/dash.js';
  11. import { Applications } from './preferences/applications.js';
  12. import { Other } from './preferences/other.js';
  13. export default class BlurMyShellPreferences extends ExtensionPreferences {
  14. constructor(metadata) {
  15. super(metadata);
  16. // load the icon theme
  17. let iconPath = this.dir.get_child("icons").get_path();
  18. let iconTheme = Gtk.IconTheme.get_for_display(Gdk.Display.get_default());
  19. iconTheme.add_search_path(iconPath);
  20. }
  21. fillPreferencesWindow(window) {
  22. addMenu(window);
  23. const preferences = new Settings(Keys, this.getSettings());
  24. window.add(new General(preferences));
  25. window.add(new Panel(preferences));
  26. window.add(new Overview(preferences));
  27. window.add(new Dash(preferences));
  28. window.add(new Applications(preferences, window));
  29. window.add(new Other(preferences));
  30. window.search_enabled = true;
  31. }
  32. }