[gnome-builder/00-BUG-section-priorities-MASTER: 3/3] set small priority for devhelp hover provider

[Christian Hergert <chergert src gnome org>]

commit d964939a993206a19600126230d5c0986e34ea09
Author: Nelson Benítez León <nbenitezl gmail com>
Date:   Sat Jan 12 14:42:09 2019 -0400

    set small priority for devhelp hover provider
    
    so it shows as last element on the popover, so
    rest of hover providers can still be visible
    when devhelp hover provider exhibits #671 issue.

 src/plugins/devhelp/gbp-devhelp-hover-provider.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/src/plugins/devhelp/gbp-devhelp-hover-provider.c 
b/src/plugins/devhelp/gbp-devhelp-hover-provider.c
index 9075e4da0..6258e5942 100644
--- a/src/plugins/devhelp/gbp-devhelp-hover-provider.c
+++ b/src/plugins/devhelp/gbp-devhelp-hover-provider.c
@@ -28,7 +28,9 @@
 
 #include "gbp-devhelp-hover-provider.h"
 
-#define DEVHELP_HOVER_PROVIDER_PRIORITY 200
+/* Given devhelp #671 issue, set a small priority
+ * so it stays as the last element on the popover */
+#define DEVHELP_HOVER_PROVIDER_PRIORITY 90
 
 struct _GbpDevhelpHoverProvider
 {