Thanks for the bug report. I am also using
gnome-shell 3.28.3+git20190124-0ubuntu18.04.1 mutter 3.28.3+git20190124-0ubuntu18.04.1
but cannot reproduce this bug. In particular I can't see any option to "0. Change the default Alt+Tab to switch windows".
Please:
1. Detail how to "0. Change the default Alt+Tab to switch windows".
2. Try uninstalling all your extensions and tell us if the bug still happens:
"b'org.gnome.shell' b'enabled-extensions' b"['<email address hidden>', '<email address hidden>', '<email address hidden>', '<email address hidden>', '<email address hidden>', '<email address hidden>', '<email address hidden>', '<email address hidden>']"
Thanks for the bug report. I am also using
gnome-shell 3.28.3+ git20190124- 0ubuntu18. 04.1 git20190124- 0ubuntu18. 04.1
mutter 3.28.3+
but cannot reproduce this bug. In particular I can't see any option to "0. Change the default Alt+Tab to switch windows".
Please:
1. Detail how to "0. Change the default Alt+Tab to switch windows".
2. Try uninstalling all your extensions and tell us if the bug still happens:
"b'org. gnome.shell' b'enabled- extensions' b"['<email address hidden>', '<email address hidden>', '<email address hidden>', '<email address hidden>', '<email address hidden>', '<email address hidden>', '<email address hidden>', '<email address hidden>']"