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
..
misc	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00
gnome-extensions-app.in	extensions-app: Rename executable	2020-04-28 00:06:19 +02:00
main.js	extensions-app: Add extension filtering	2020-11-12 22:05:46 +00:00
meson.build	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00
org.gnome.Extensions.in	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00
org.gnome.Extensions.src.gresource.xml	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00