edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-17 23:24:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
gnome-shell/subprojects/extensions-app/js
History
Florian Müllner 1667b36abd extensions-app: Overhaul search 
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>
2023-12-21 15:24:23 +00:00
..
misc extensions-app: Port config to ESM 2023-08-07 19:05:50 +00:00
extensionManager.js extensions-app: Use ListModel to track extensions 2023-12-21 15:24:23 +00:00
extensionRow.js extensions-app: Use property bindings in row 2023-12-21 15:24:23 +00:00
extensionsWindow.js extensions-app: Overhaul search 2023-12-21 15:24:23 +00:00
gnome-extensions-app.in extensions-app: Port to ESM 2023-06-21 13:26:42 +02:00
main.js extensions-app: Split out ExtensionManager 2023-12-21 15:24:23 +00:00
meson.build extensions-app: Include a non-fake Config 2023-07-13 15:33:06 +00:00
org.gnome.Extensions.in extensions-app: Port to ESM 2023-06-21 13:26:42 +02:00
org.gnome.Extensions.src.gresource.xml.in extensions-app: Split out ExtensionManager 2023-12-21 15:24:23 +00:00