/*! An array of gchar*'s which are desktop names in UTF-8 format */
extern gchar **screen_desktop_names;
/*! Take over the screen, set the basic hints on it claming it as ours */
/*! An array of gchar*'s which are desktop names in UTF-8 format */
extern gchar **screen_desktop_names;
/*! Take over the screen, set the basic hints on it claming it as ours */