Bug#869603: gnome-shell-extensions: Window List extension re-enables itself

[Siderean]

Package: gnome-shell-extensions
Version: 3.22.2-1
Severity: normal

Dear Maintainer,

I have trouble with the Window List default gnome extension in the gnome-
extensions package. It keeps re-enabling itself after a screen lock or a
reboot. I don't want to use the extension so I like to keep it disabled. I both
tried disabling it in the gnome tweak tools and with the Gnome extension
'Extensions'. I'm using GNOME Shell 3.22.3 on Debian 9.

I'm using 3 external monitors on my laptop which has an nvidia 960m GPU with
proprietary driver version 375.66



-- System Information:
Debian Release: 9.0
  APT prefers stable
  APT policy: (500, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

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

Versions of packages gnome-shell-extensions depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.26.0-2+b1
ii  gir1.2-atk-1.0                               2.22.0-1
ii  gir1.2-clutter-1.0                           1.26.0+dfsg-3
ii  gir1.2-gdkpixbuf-2.0                         2.36.5-2
ii  gir1.2-glib-2.0                              1.50.0-1+b1
ii  gir1.2-gmenu-3.0                             3.13.3-9
ii  gir1.2-gtk-3.0                               3.22.11-1
ii  gir1.2-mutter-3.0                            3.22.3-2
ii  gir1.2-pango-1.0                             1.40.5-1
ii  gnome-session                                3.22.3-1
ii  gnome-shell                                  3.22.3-3
ii  gvfs                                         1.30.4-1

Versions of packages gnome-shell-extensions recommends:
ii  gnome-tweak-tool  3.22.0-1

gnome-shell-extensions suggests no packages.

-- no debconf information