Agreed - I've experimented using different desktop switching methods,
and the only thing that seems to work is to have another window on the
same desktop as the emulator, and ensure this is active prior to
changing desktops.  The trouble is I rarely remember to do this, so I've
no way of knowing if it works 100%.

It's been so long, and so disruptive I've elected to change window
managers.  I'll keep an eye on this ticket though.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1812527

Title:
  [bionic][regression] gnome-shell crashes with SIGSEGV in
  meta_window_actor_is_destroyed(self=NULL) called from
  _switchWorkspaceDone() [windowManager.js:1787]

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gjs/+bug/1812527/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to