Merge pull request #1303 from auouymous/setting-to-disable-find-as-you-type
commit9bdc9d966eada253254d74f43363d842b2566b03
authorauouymous <5005204+auouymous@users.noreply.github.com>
Wed, 9 Nov 2022 03:42:05 +0000 (9 03:42 +0000)
committerGitHub <noreply@github.com>
Wed, 9 Nov 2022 03:42:05 +0000 (9 03:42 +0000)
treeac16dafffd541ed4e222110720bab4022b04cf15
parent98208d44446f5bdf2ab6d71f7cb94a56ff7e4a2b
parentc9ad2b6884cc552587acba844696d06e96ef2ba0
Merge pull request #1303 from auouymous/setting-to-disable-find-as-you-type

Add setting to disable find-as-you-type.
share/gpodder/ui/gtk/gpodderpreferences.ui
src/gpodder/config.py
src/gpodder/gtkui/desktop/preferences.py
src/gpodder/gtkui/main.py