Bug#873765: gnome-tweak-tool: Error on start: GLib-GIO-ERROR **: Settings schema 'org.gnome.shell' does not contain a key named 'disable-user-extensions'

[Robert Velter]

Package: gnome-tweak-tool
Version: 3.25.91-1
Severity: important

Dear Maintainer,

gnome-tweak-tool exits immediately after start with exit code 133.
The complete error message is:

(gnome-tweak-tool:10988): GLib-GIO-ERROR **: Settings schema 'org.gnome.shell' does not contain a key named 'disable-user-extensions'
Trace/breakpoint trap

After downgrade to version 3.22.0-1 its usable again.

Best regards,
Robert

-- System Information:
Debian Release: buster/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.12.0-1-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8), LANGUAGE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages gnome-tweak-tool depends on:
ii  gir1.2-glib-2.0            1.53.2-4
ii  gir1.2-gnomedesktop-3.0    3.22.2-1
ii  gir1.2-gtk-3.0             3.22.19-1
ii  gir1.2-notify-0.7          0.7.7-2
ii  gir1.2-pango-1.0           1.40.11-1
ii  gir1.2-soup-2.4            2.56.1-1
ii  gnome-settings-daemon      3.24.3-1
ii  gnome-shell-common         3.22.3-3
ii  gsettings-desktop-schemas  3.24.0-2
ii  mutter-common              3.22.4-2
ii  python3                    3.5.3-3
ii  python3-gi                 3.22.0-2+b1

gnome-tweak-tool recommends no packages.

gnome-tweak-tool suggests no packages.

-- no debconf information