Skip to content

Remove extensions support

Florian Müllner requested to merge fmuellner/gnome-tweaks:remove-extensions into master

Quoting the main commit:

gnome-shell-extension-prefs has been turned into a user-visible
Extensions app. There is no good reason for exposing a subset of
its functionality in Tweaks, so remove the corresponding group.

This removes all extensions support from Tweaks, except the bits that the appearance group uses to check for the user-theme extension.

Fixes #272 (closed)

Merge request reports