e = menu_add_normal(menu, -1, NULL, NULL);
e->data.normal.enabled = FALSE;
e->data.normal.label = g_strdup(screen_desktop_names[desktop]);
e = menu_add_normal(menu, -1, NULL, NULL);
e->data.normal.enabled = FALSE;
e->data.normal.label = g_strdup(screen_desktop_names[desktop]);