[gnome-builder] plugins/editorui: request search for programming languages

[Christian Hergert <chergert src gnome org>]

commit 777195251b45ff71f41406056cff01dd9d3dc918
Author: Christian Hergert <chergert redhat com>
Date:   Mon Aug 22 21:05:43 2022 -0700

    plugins/editorui: request search for programming languages

 src/plugins/editorui/tweaks-language.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/editorui/tweaks-language.ui b/src/plugins/editorui/tweaks-language.ui
index 95f6443ac..393c47bba 100644
--- a/src/plugins/editorui/tweaks-language.ui
+++ b/src/plugins/editorui/tweaks-language.ui
@@ -7,6 +7,7 @@
           <object class="IdeTweaksPage" id="languages_page">
             <property name="icon-name">text-x-javascript-symbolic</property>
             <property name="title" translatable="yes">Programming Languages</property>
+            <property name="show-search">true</property>
             <child>
               <object class="IdeTweaksFactory" id="language_page_factory">
                 <property name="model">GtkSourceLanguages</property>