Workspace tooltips

[Brian J. Tarricone]

Rakotomandimby Mihamina wrote:

> Hello ,
> I gave different names to my workspaces and i would like to know how to
> display a tooltip when my pointer points on one of the workspaces on tha
> panel or the taskbar .
> Would you know ?

there is no support for this currently.  however, the 'desktop switcher' 
plugin displays names in the pager itself (though you lose the 
thumbnails of active windows).

    -brian