- /* Don't need a separator at the very top */
- if (desktop > 0)
- menu_add_separator(menu, -1);
- e = menu_add_normal(menu, -1, NULL, NULL);
- e->data.normal.enabled = FALSE;
- e->data.normal.label = g_strdup(screen_desktop_names[desktop]);
- /* The one at the bottom will always have entries below it though */
- menu_add_separator(menu, -1);