Control: tags 808377 + moreinfo
On Sat, 19 Dec 2015 at 11:45:36 +0100, Kjö Hansi Glaz wrote:
> * What led up to the situation?
>
> Activate a few extensions using gnome-tweak-tool. All these extensions
> work fine.
>
> * What exactly did you do (or not do) that was effective (or
> ineffective)?
>
> Reboot the computer and restart gnome wayland session.
>
> * What was the outcome of this action?
>
> No extensions are activated.
Is this still reproducible in GNOME Shell 3.20?
Which specific extensions are you talking about? In my GNOME Wayland
session, these extensions are working fine:
* Applications menu (gnome-shell-extensions)
* Caffeine (gnome-shell-extension-caffeine)
* Media player (gnome-shell-extension-mediaplayer)
* Places menu (gnome-shell-extensions)
Thanks,
S
