SUMMARY Due to opening of Falkon store users has access to more extensions than ever before. To keep things in order I propose to add filter or just search box. STEPS TO REPRODUCE 1. Go to Preference > Extensions 2. Try to locate specific extension within many OBSERVED RESULT User can spend considerable amount of time searching / reading list / scrolling EXPECTED RESULT Search box with some filtering option to filter within installed extensions ADDITIONAL INFORMATION Yeah, I am hacking around and things are getting messy.
A possibly relevant merge request was started @ https://invent.kde.org/network/falkon/-/merge_requests/13
Git commit d8a706f3a981d730f46e35d3e2da4249054129e2 by Juraj Oravec, on behalf of Juraj Oravec. Committed on 06/03/2021 at 00:25. Pushed by jurajo into branch 'master'. Add filter to preferences extensions page Developed by: Yehor Tsyba @malibushko M +7 -0 src/lib/preferences/pluginslist.ui M +14 -0 src/lib/preferences/pluginsmanager.cpp M +1 -0 src/lib/preferences/pluginsmanager.h M +1 -1 src/lib/tools/scripts.cpp https://invent.kde.org/network/falkon/commit/d8a706f3a981d730f46e35d3e2da4249054129e2