Please report this issue to the Gnome developers here:
https://gitlab.gnome.org/GNOME/gnome-shell/issues
and then tell us the new issue ID.
** Changed in: gnome-shell (Ubuntu)
Status: New => Incomplete
--
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/1041810
Title:
give an option to give names to different desktops in gnome-shell
Status in gnome-shell package in Ubuntu:
Incomplete
Bug description:
I have a habit of using several desktops while doing my work. I use
one desktop for my hacking stuff, one for my college home work and so
on. Hence I would like to give names to the desktops in order to
organize them.
As an added bonus, I would like to have macros in gnome-shell so that
I can start my entire home work desktop in one go. Right now I use
lp:cenv (my own tool) for such purposes.
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1041810/+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
