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