" * debian/patches/52_xdg_current_desktop.patch:
- Set XDG_CURRENT_DESKTOP inside gnome-session based on a
new key 'DesktopName' in gnome-session .desktop files."
You are right that the GNOME classic session seems to use "GNOME" as a session name though, maybe that should be changed
The changes happened in the oneiric cycle, see /launchpad. net/ubuntu/ +source/ gnome-session/ 3.1.3-0ubuntu6
https:/
" * debian/ patches/ 52_xdg_ current_ desktop. patch:
- Set XDG_CURRENT_DESKTOP inside gnome-session based on a
new key 'DesktopName' in gnome-session .desktop files."
You are right that the GNOME classic session seems to use "GNOME" as a session name though, maybe that should be changed