-
Notifications
You must be signed in to change notification settings - Fork 3
/
prefs.js
62 lines (52 loc) · 1.98 KB
/
prefs.js
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
/*
* Copyright (c) 2022 Christian Wittenberg
*
* GNOME Pushover Messages shell extension is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by the
* Free Software Foundation; either version 3 of the License, or (at your
* option) any later version. This extension is not owned or developed by Pushover itself.
* Pushover, its name and logo are registered trademarks of Pushover LLC.
*
* GNOME Pushover Messages shell extension is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
* or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* for more details.
*
* You should have received a copy of the GNU General Public License along
* with Gnome Documents; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*
* Author:
* Christian Wittenberg <dev@iwont.cyou>
*
*/
const {
Adw,
Gtk,
Gdk,
Gio
} = imports.gi;
const ExtensionUtils = imports.misc.extensionUtils;
const Me = ExtensionUtils.getCurrentExtension();
const poConfigSchema = 'org.gnome.shell.extensions.pushover';
// Import preferences pages
function init() {
ExtensionUtils.initTranslations(Me.metadata['gettext-domain']);
}
function fillPreferencesWindow(window) {
let iconTheme = Gtk.IconTheme.get_for_display(Gdk.Display.get_default());
const GeneralPrefs = Me.imports.preferences.generalPage;
const AboutPrefs = Me.imports.preferences.aboutPage;
const settings = ExtensionUtils.getSettings(poConfigSchema);
const generalPage = new GeneralPrefs.GeneralPage(settings, window);
const aboutPage = new AboutPrefs.AboutPage();
let prefsWidth = 600;
let prefsHeight = 700;
window.set_default_size(prefsWidth, prefsHeight);
window.set_search_enabled(true);
window.add(generalPage);
window.add(aboutPage);
window.connect('close-request', () => {
window.destroy();
});
}