june/Top-Bar-Organizer
1
0
Fork 0
mirror of https://gitlab.gnome.org/june/top-bar-organizer.git synced 2026-01-11 16:53:51 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update: Improve drag handle styling by using GNOME Settings style

Browse source 
This also finally makes the style `<class name="drag-handle"/>` in
`prefs-box-order-item-row.ui` actually do something.
This commit is contained in:
June 2023-04-20 12:33:30 +02:00
commit 5c8523322b
No known key found for this signature in database
GPG key ID: 094C2AC34192FA11
3 changed files with 21 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/prefs.js
View file

@ -1,11 +1,22 @@
"use strict";
/* exported buildPrefsWidget, init */
const Gtk = imports.gi.Gtk;
const Gdk = imports.gi.Gdk;
const ExtensionUtils = imports.misc.extensionUtils;
const Me = ExtensionUtils.getCurrentExtension();
const PrefsPage = Me.imports.prefsModules.PrefsPage;
const provider = new Gtk.CssProvider();
provider.load_from_path(Me.dir.get_path() + "/css/prefs.css");
Gtk.StyleContext.add_provider_for_display(
Gdk.Display.get_default(),
provider,
Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION
);
function buildPrefsWidget() {
return new PrefsPage.PrefsPage();
}