[gnome-builder] quick-highlight: mark plugin as hidden

[Christian Hergert <chergert src gnome org>]

commit b4aa22f1392f63a958760ba6d922de161df96c5a
Author: Christian Hergert <chergert redhat com>
Date:   Sat Aug 27 12:47:09 2016 -0700

    quick-highlight: mark plugin as hidden
    
    Since we have merged preferences into the plugin, we can hide the fact the
    feature is implemented as a plugin. This is ideal for us because plugins
    are simply an implementation detail, not our goal in and of itself.

 plugins/quick-highlight/quick-highlight.plugin |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/quick-highlight/quick-highlight.plugin b/plugins/quick-highlight/quick-highlight.plugin
index aaf78ae..bd476dd 100644
--- a/plugins/quick-highlight/quick-highlight.plugin
+++ b/plugins/quick-highlight/quick-highlight.plugin
@@ -5,3 +5,4 @@ Description=Highlights every occurrences of selected text
 Authors=Martin Blanchard <tchaik gmx com>
 Copyright=Copyright © 2016 Martin Blanchard
 Builtin=true
+Hidden=true