After upgrading to the last version of the packages:
gnome-shell 41.3-1ubuntu1
mutter-common 41.3-1ubuntu1
the issue is gone and I can see the option when right-clicking on a
desktop launcher.
** Changed in: oem-priority
Status: New => Invalid
** Changed in: gnome-shell (Ubuntu)
Status: Incomplete => Invalid
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1959362
Title:
"Launch using dedicated graphics card" option absent (nvidia,
proprietary drivers, on-demand PRIME mode)
To manage notifications about this bug go to:
https://bugs.launchpad.net/oem-priority/+bug/1959362/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
