[gnome-text-editor] preferences: disable search

[Christian Hergert <chergert src gnome org>]

commit eba542a5eb9c56230b73088e3698af596331940b
Author: Christian Hergert <chergert redhat com>
Date:   Wed Dec 1 10:19:42 2021 -0800

    preferences: disable search
    
    We only have one page, it's not really useful here.
    
    Related #183

 src/editor-preferences-dialog.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/editor-preferences-dialog.ui b/src/editor-preferences-dialog.ui
index 1690a99..d5da23f 100644
--- a/src/editor-preferences-dialog.ui
+++ b/src/editor-preferences-dialog.ui
@@ -8,6 +8,7 @@
       <class name="org-gnome-TextEditor"/>
       <class name="preferences"/>
     </style>
+    <property name="search-enabled">false</property>
     <child>
       <object class="AdwPreferencesPage">
         <child>