edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-18 07:34:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
gnome-shell/subprojects/extensions-app/js
History
Florian Müllner fec523f83f extensions-app: Use new 'enabled' property 
The switch for enabling/disabling extensions currently bases its
state on the extension's ACTIVE state.

This is problematic in the enabled-but-inactive case, because
activating the switch tries to change the state from off to on,
which leads to enabling an already enabled extension (an obvious
no-op).

The new `enabled` property allows us to do better, and use delayed
state changes where the switch position represents the `enabled`
state, and the trough color whether the extension is ACTIVE.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/7004

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3073>
2024-01-03 20:05:05 +00:00
..
misc extensions-app: Port config to ESM 2023-08-07 19:05:50 +00:00
extensionManager.js extensions-app: Use new 'enabled' property 2024-01-03 20:05:05 +00:00
extensionRow.js extensions-app: Use new 'enabled' property 2024-01-03 20:05:05 +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