- 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]);
- menu_add_separator(menu, -1);
- for (it = focus_order[desktop], i = 0; it; it = g_list_next(it), ++i) {
+ menu_add_separator(menu, -1, screen_desktop_names[desktop]);
+ for (it = focus_order, i = 0; it; it = g_list_next(it), ++i) {