Well, I think I found out what was happening.
In gnome-tweaks I had somehow gotten 'Workspaces' -> 'Display Handling'
set to 'Workspaces on primary display only'.
So what happened was that there was only a single workspace on the
"second" head and thus no need for "always on visible workspace".
I'm going to close this as 'Invalid'.
** Changed in: mutter (Ubuntu)
Status: New => Invalid
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1797120
Title:
window menu does not include 'always on visible workspace'
Status in mutter package in Ubuntu:
Invalid
Bug description:
I filed bug 1795410 a few weeks ago complaining that the 'alt space'
didn't bring up the window menu. That is now fixed (seemingly likely
with mutter 3.3.0-6).
However, the window menu that does come up does not have an entry for
'Always on visible workspace' as it used to.
You can still create a custom shortcut in the gnome-control-center to
toggle this, but that is not as useful or discoverable as in the
window menu.
ProblemType: Bug
DistroRelease: Ubuntu 18.10
Package: mutter 3.30.1-1
ProcVersionSignature: Ubuntu 4.18.0-8.9-generic 4.18.7
Uname: Linux 4.18.0-8-generic x86_64
NonfreeKernelModules: zfs zunicode zavl icp zcommon znvpair
ApportVersion: 2.20.10-0ubuntu11
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Wed Oct 10 09:21:40 2018
EcryptfsInUse: Yes
InstallationDate: Installed on 2015-07-23 (1175 days ago)
InstallationMedia: Ubuntu 15.10 "Wily Werewolf" - Alpha amd64 (20150722.1)
ProcEnviron:
TERM=xterm-256color
PATH=(custom, no user)
XDG_RUNTIME_DIR=<set>
LANG=en_US.UTF-8
SHELL=/bin/bash
SourcePackage: mutter
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/mutter/+bug/1797120/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
