(In reply to Ulrich Windl from comment #11) > (In reply to Atri Bhattacharya from comment #9) > > Fred and/or Ulrich, do you have any extensions installed? > > How do I list such? Open gnome-tweak-tool and go to the Extensions tab, all installed extensions should be listed there.