1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
// -*- 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();
});
}
}
|