gnome-shell/subprojects
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
..
extensions-app extensions-app: Add extension filtering 2020-11-12 22:05:46 +00:00
extensions-tool Bump version to 40.alpha 2020-10-06 15:06:03 +02:00
gvc@7a621180b4 subprojects: Update libgvc 2020-09-21 15:08:46 +02:00
shew Bump version to 40.alpha 2020-10-06 15:06:03 +02:00