Florian Müllner 9ef59b3b4f extensions-app: Add extension filtering ...

It's possible for the list of installed extension to get long
enough to make searching more convenient than scrolling.

Support that by implementing the standard search pattern[0]
with a hidden search bar and a toggle in the headerbar.

[0] https://developer.gnome.org/hig/stable/search.html.en

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3382

2020-11-12 22:05:46 +00:00

..

extension-row.ui

extensions-app: Indicate extension errors

2020-05-21 21:45:04 +00:00

extensions-window.ui

extensions-app: Add extension filtering

2020-11-12 22:05:46 +00:00