[gnome-builder] menus: add highlighting section

[Christian Hergert <chergert src gnome org>]

commit 585086142f720f6aa066c5bf6ca6197432a1491a
Author: Christian Hergert <chergert redhat com>
Date:   Sun Jul 17 17:01:57 2016 -0700

    menus: add highlighting section

 data/gtk/menus.ui |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/data/gtk/menus.ui b/data/gtk/menus.ui
index 31bbe77..bbd03ca 100644
--- a/data/gtk/menus.ui
+++ b/data/gtk/menus.ui
@@ -148,6 +148,11 @@
         <attribute name="action">sourceview.delete-selection</attribute>
       </item>
     </section>
+    <section id="ide-source-view-popup-menu-highlighting-section">
+      <submenu id="ide-source-view-popup-menu-highlighting-submenu">
+        <attribute name="label" translatable="yes">Highlighting</attribute>
+      </submenu>
+    </section>
     <section id="ide-source-view-popup-menu-selection-section">
       <submenu id="ide-source-view-popup-menu-selection-submenu">
         <attribute name="label" translatable="yes">Selection</attribute>