From a51b5d7f7e87bfdbba120d94bb5a8b3aa2f72337 Mon Sep 17 00:00:00 2001
From: Daniel Boles <dboles.src@gmail.com>
Date: Mon, 1 Jul 2019 19:13:45 +0100
Subject: [PATCH] widget-factory: Use correct StyleProvider priority

We are an application, not a user.
---
 demos/widget-factory/widget-factory.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/demos/widget-factory/widget-factory.c b/demos/widget-factory/widget-factory.c
index 1693aee3c4..99dbdd7edc 100644
--- a/demos/widget-factory/widget-factory.c
+++ b/demos/widget-factory/widget-factory.c
@@ -1704,7 +1704,7 @@ activate (GApplication *app)
   gtk_css_provider_load_from_resource (provider, "/org/gtk/WidgetFactory/widget-factory.css");
   gtk_style_context_add_provider_for_screen (gdk_screen_get_default (),
                                              GTK_STYLE_PROVIDER (provider),
-                                             GTK_STYLE_PROVIDER_PRIORITY_USER);
+                                             GTK_STYLE_PROVIDER_PRIORITY_APPLICATION);
   g_object_unref (provider);
 
   builder = gtk_builder_new_from_resource ("/org/gtk/WidgetFactory/widget-factory.ui");