[gnome-builder] plugins: show if the plugin is disabled

[Christian Hergert <chergert src gnome org>]

commit 6ef81623d7920488e5bf49519395c80383c502af
Author: Christian Hergert <christian hergert me>
Date:   Thu Sep 17 03:57:36 2015 -0700

    plugins: show if the plugin is disabled
    
    This is mostly useful for debugging right now, but might as well have it
    in place.

 src/preferences/gb-preferences-page-plugins.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/src/preferences/gb-preferences-page-plugins.c b/src/preferences/gb-preferences-page-plugins.c
index 70b233a..b2058d8 100644
--- a/src/preferences/gb-preferences-page-plugins.c
+++ b/src/preferences/gb-preferences-page-plugins.c
@@ -21,6 +21,7 @@
 #include <libpeas/peas.h>
 
 #include "gb-preferences-page-plugins.h"
+#include "gb-widget.h"
 
 struct _GbPreferencesPagePlugins
 {
@@ -61,6 +62,8 @@ gb_preferences_page_plugins_add_plugin (GbPreferencesPagePlugins *self,
                       "orientation", GTK_ORIENTATION_VERTICAL,
                       "visible", TRUE,
                       NULL);
+  if (!peas_plugin_info_is_loaded (plugin_info))
+    gb_widget_add_style_class (row, "dim-label");
   gtk_container_add (GTK_CONTAINER (row), GTK_WIDGET (box));
 
   label = g_object_new (GTK_TYPE_LABEL,