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

[Nelson Benítez León <nbenitez src gnome org>]

commit cd09b43f4498a3365df8e91e4f2442a4a19b5a31
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
 {