From f6bf71a13a116bb35e29c7a0d2e10e42e830fc2b Mon Sep 17 00:00:00 2001
From: Automeris naranja <automeris@tuta.io>
Date: Tue, 28 Jan 2025 20:14:14 -0300
Subject: [PATCH] editor-preferences-dialog: Allow searching for preferences

EditorPreferencesDialog has a considerable amount of
preferences, so a search function can be useful.
---
 src/editor-preferences-dialog.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/editor-preferences-dialog.ui b/src/editor-preferences-dialog.ui
index b55c64a..fc30de7 100644
--- a/src/editor-preferences-dialog.ui
+++ b/src/editor-preferences-dialog.ui
@@ -7,11 +7,11 @@
     <property name="content-height">700</property>
     <property name="width-request">360</property>
     <property name="height-request">294</property>
+    <property name="search-enabled">True</property>
     <style>
       <class name="org-gnome-TextEditor"/>
       <class name="preferences"/>
     </style>
-    <property name="search-enabled">false</property>
     <child>
       <object class="AdwPreferencesPage">
         <child>
-- 
GitLab