[gnome-music] application: Correct style provider priority
- From: Marinus Schraal <mschraal src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music] application: Correct style provider priority
- Date: Mon, 3 Apr 2017 07:58:10 +0000 (UTC)
commit 960ce9908e8c7881d57c31f3b12b7a2f9f3a7812
Author: Marinus Schraal <mschraal src gnome org>
Date: Mon Apr 3 09:52:27 2017 +0200
application: Correct style provider priority
gnomemusic/application.py | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gnomemusic/application.py b/gnomemusic/application.py
index 5b0d8da..b7566db 100644
--- a/gnomemusic/application.py
+++ b/gnomemusic/application.py
@@ -63,8 +63,8 @@ class Application(Gtk.Application):
css_provider.load_from_file(css_provider_file)
screen = Gdk.Screen.get_default()
style_context = Gtk.StyleContext()
- style_context.add_provider_for_screen(screen, css_provider,
- Gtk.STYLE_PROVIDER_PRIORITY_USER)
+ style_context.add_provider_for_screen(
+ screen, css_provider, Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION)
@log
def _build_app_menu(self):
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]