[gnome-builder/wip/gtk4-port: 1020/1774] libide/sourceview: remove unused highlighting menu

[Christian Hergert <chergert src gnome org>]

commit a68433ab0300dedb2580f6cd3c69b67a9a7435c8
Author: Christian Hergert <chergert redhat com>
Date:   Sat May 14 17:08:58 2022 -0700

    libide/sourceview: remove unused highlighting menu
    
    Until the color-picker has been ported, we don't need this.

 src/libide/sourceview/gtk/menus.ui | 5 -----
 1 file changed, 5 deletions(-)
---
diff --git a/src/libide/sourceview/gtk/menus.ui b/src/libide/sourceview/gtk/menus.ui
index e9c5e83f2..f2eae6812 100644
--- a/src/libide/sourceview/gtk/menus.ui
+++ b/src/libide/sourceview/gtk/menus.ui
@@ -46,11 +46,6 @@
         <attribute name="accel">&lt;control&gt;v</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>