Ok, thanks. I see you've already found a bug report regarding a
dashtodock problem so best to deal with just the crash here which is
reproducible by opening applications on separate workspaces.
** Changed in: gnome-shell (Ubuntu)
Status: Incomplete => New
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1799787
Title:
gnome-shell crashes when forcing a restart if applications are started
on multiple workspaces
Status in gnome-shell package in Ubuntu:
New
Bug description:
What should happen:
With any number of applications running or workspaces enabled, gnome-
shell should restart gracefully by using 'Alt F2 > r and enter'.
What does happen:
With just one workspace enabled, several applications can be started
and gnome-shell can be restarted with 'Alt F2 > r and enter' without
issue.
With multiple workspaces enabled, several applications can be started
and gnome-shell can be restarted with 'Alt F2 > r and enter' provided
all applications are started on the first workspace.
With multiple workspaces enabled, if several applications are started
on different workspaces then gnome-shell will crash if restarted with
'Alt F2 > r and enter'. My last application was started on workspace
4.
ProblemType: Bug
DistroRelease: Ubuntu 18.10
Package: gnome-shell 3.30.1-2ubuntu1
ProcVersionSignature: Ubuntu 4.18.0-10.11-generic 4.18.12
Uname: Linux 4.18.0-10-generic x86_64
ApportVersion: 2.20.10-0ubuntu13
Architecture: amd64
CurrentDesktop: GNOME
Date: Wed Oct 24 21:01:13 2018
DisplayManager: gdm3
InstallationDate: Installed on 2018-10-02 (22 days ago)
InstallationMedia: Ubuntu 18.10 "Cosmic Cuttlefish" - Beta amd64 (20181002)
SourcePackage: gnome-shell
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1799787/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp