This bug doesn't belong here.
I found out, that this is most probably a problem with the switching
mechanism between intel and nvidia drivers, which doesn't seem to do its
job fully under certain conditions. What was causing gnome-shell to do
what it was doing was actually some strange bug that
Also, please collect a full system log from immediately after the
problem has occurred:
journalctl -b > journal.txt
and attach the resulting file 'journal.txt' here.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in