Bug 408312

Summary: Add filter to Preferences > Extensions
Product: [Applications] Falkon Reporter: Juraj <jurajoravec>
Component: generalAssignee: David Rosca <nowrep>
Status: RESOLVED FIXED    
Severity: wishlist    
Priority: NOR    
Version First Reported In: unspecified   
Target Milestone: ---   
Platform: Arch Linux   
OS: Linux   
Latest Commit: Version Fixed/Implemented In:
Sentry Crash Report:

Description Juraj 2019-06-04 19:09:53 UTC
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.
Comment 1 Bug Janitor Service 2020-12-12 02:04:43 UTC
A possibly relevant merge request was started @ https://invent.kde.org/network/falkon/-/merge_requests/13
Comment 2 Juraj 2021-03-06 00:30:33 UTC
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