brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
15,237 Commits 180 Branches 237 Tags
Commit Graph

4 Commits

Author SHA1 Message Date
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
AsciiWolf
05485fe04c extensions-app: Fix translatable string 
https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1231
 2020-05-01 14:14:35 +02:00
Florian Müllner
0a4974ac8c extensions-app: Do not expand headerbar switch 
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2563
 2020-04-03 02:29:55 +00:00
Florian Müllner
39e6375aff extensions-app: Move Extensions app to new subproject 
The Extensions app code is now independent enough from the rest of the code
base to move it to its own subprojects, like we did for the extensions-tool.

This allows for stand-alone builds of the app, which we are about to use
for distributing it as flatpak.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1133
 2020-03-27 23:33:30 +00:00