mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-17 23:24:51 +00:00
1667b36abd
Instead of awkwardly filtering two different lists, use a separate search page that filters a single list, similar to what libadwaita does for preference windows. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3067> |
||
|---|---|---|
| .. | ||
| extensions-app | ||
| extensions-tool | ||
| gvc@000046e887 | ||
| shew | ||
| gi-docgen.wrap | ||