ok, could you please report this bug to the Cinammon devs ? you can link it directly to this page, I think they will understand the problem. Thank you.
2013/3/11 Jamie Macdonald <[email protected]> > indeed, > xprop -root | grep _NET_DESKTOP_NAMES prints: > _NET_DESKTOP_NAMES(UTF8_STRING) = "Workspace 1", "Workspace 2" > ... > which corresponds to the names cairo-dock displays but not Cinnamon > > renaming via the applet (right-click) "Workspace 1" to "rename1" updates > xprop output: > _NET_DESKTOP_NAMES(UTF8_STRING) = "rename1", "Workspace 2" > ... > > Cinnamon names are not updated. > > -- > You received this bug notification because you are a bug assignee. > https://bugs.launchpad.net/bugs/1125623 > > Title: > Switcher hover-text does not correspond to Linux Mint Workspace names > > Status in Cairo-Dock: Plug-ins: > Fix Committed > > Bug description: > cairo dock 3.1.0 > Linux Mint 14 64bit, Cinnamon Desktop 1.6.7 > > http://ge.tt/1xlSeUY?c > > To manage notifications about this bug go to: > https://bugs.launchpad.net/cairo-dock-plug-ins/+bug/1125623/+subscriptions > -- You received this bug notification because you are a member of Cairo- Dock Devs, which is subscribed to Cairo-Dock Plug-ins. https://bugs.launchpad.net/bugs/1125623 Title: Switcher hover-text does not correspond to Linux Mint Workspace names Status in Cairo-Dock: Plug-ins: Fix Committed Bug description: cairo dock 3.1.0 Linux Mint 14 64bit, Cinnamon Desktop 1.6.7 http://ge.tt/1xlSeUY?c To manage notifications about this bug go to: https://bugs.launchpad.net/cairo-dock-plug-ins/+bug/1125623/+subscriptions _______________________________________________ Mailing list: https://launchpad.net/~cairo-dock-team Post to : [email protected] Unsubscribe : https://launchpad.net/~cairo-dock-team More help : https://help.launchpad.net/ListHelp
