Skip to content

editor-preferences-dialog: Allow searching for preferences

Automeris naranja requested to merge automerisnaranja/gnome-text-editor:prefs-search into main

EditorPreferencesDialog has a considerable amount of preferences, so a search function can be useful.

image

/cc @Teams/Design

Merge request reports