public-Repo-Mirrors/Top-Bar-Organizer
1
Fork 0
mirror of https://gitlab.gnome.org/julianschacher/top-bar-organizer.git synced 2025-10-27 07:09:07 +00:00
Code Releases Activity

Fix: Move provider add. to more correct place and remove prov. on dest.

Browse Source 
See here for the relevant review:
https://extensions.gnome.org/review/40563
This commit is contained in:
Julian 2023-04-21 00:46:59 +02:00
parent bf598f2a15
commit 0b3aff665a
Signed by: julian
GPG Key ID: 094C2AC34192FA11
1 changed files with 19 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/prefs.js
View File

@ -9,16 +9,26 @@ const Me = ExtensionUtils.getCurrentExtension();
const PrefsPage = Me.imports.prefsModules.PrefsPage;
function buildPrefsWidget() {
const provider = new Gtk.CssProvider();
provider.load_from_path(Me.dir.get_path() + "/css/prefs.css");
const defaultGdkDisplay = Gdk.Display.get_default();
Gtk.StyleContext.add_provider_for_display(
Gdk.Display.get_default(),
defaultGdkDisplay,
provider,
Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION
);
function buildPrefsWidget() {
return new PrefsPage.PrefsPage();
const prefsPage = new PrefsPage.PrefsPage();
prefsPage.connect("destroy", () => {
Gtk.StyleContext.remove_provider_for_display(
defaultGdkDisplay,
provider
);
});
return prefsPage;
}
function init() {