On 07/14/2011 11:42 AM, Bastien Nocera wrote: > What's the use for this when you could add a "set_desktop_name()" > function in the front-end that uses that library? Is it of any use > apart from libgnome-menus? Well, say there's an app FooBar that uses libgnome-menus. How does FooBar know which desktop it's in? -mt