diff --git a/src/wavelet.css b/src/wavelet.css new file mode 100644 index 0000000..6f72c5d --- /dev/null +++ b/src/wavelet.css @@ -0,0 +1,6 @@ +#seek-scale slider { + margin: 0px; + opacity: 0%; + min-width: 10px; + min-height: 10px; +} diff --git a/src/wavelet.gresource.xml b/src/wavelet.gresource.xml index 1385809..4ab409c 100644 --- a/src/wavelet.gresource.xml +++ b/src/wavelet.gresource.xml @@ -1,6 +1,7 @@ + wavelet.css gtk/help-overlay.ui play_queue.ui setup.ui diff --git a/src/window.blp b/src/window.blp index 7edc675..cf512da 100644 --- a/src/window.blp +++ b/src/window.blp @@ -162,6 +162,7 @@ paintable: bind template.playing_cover_art; } Scale play_position { + name: "seek-scale"; orientation: horizontal; width-request: 200; diff --git a/src/window.vala b/src/window.vala index a3f91ed..d78b6a5 100644 --- a/src/window.vala +++ b/src/window.vala @@ -55,6 +55,11 @@ class Wavelet.Window : Adw.ApplicationWindow { public Window (Gtk.Application app) { Object (application: app); + var provider = new Gtk.CssProvider (); + provider.load_from_resource("/eu/callcc/Wavelet/wavelet.css"); + + Gtk.StyleContext.add_provider_for_display (Gdk.Display.get_default (), provider, Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION); + this.close_request.connect (() => { app.quit (); return false;