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