GNOME Shell extensions have a UUID property; this key lists extensions which should be disabled, even if loaded as part of the current mode. You can also manipulate this list with the EnableExtension and DisableExtension D-Bus methods on org.gnome.Shell. This key takes precedence over the “enabled-extensions” setting.
Utvidelser for GNOME Shell har UUID-er. Dette feltet inneholder utvidelser som bør slås av, selv hvis de lastes inn. Listen kan også endres med D-Bus-metodene «EnableExtension» og «DisableExtension» for «org.gnome.Shell». Denne innstillingen vektlegges mer enn «enabled-extensions».
None