ewmh_update_number_of_desktops();
ewmh_update_desktop_names();
ewmh_update_desktop_viewport();
+ ewmh_update_wm_desktop();
if (created != NULL)
*created = true;
} else if (created != NULL) {
ewmh_update_number_of_desktops();
ewmh_update_desktop_names();
ewmh_update_desktop_viewport();
+ ewmh_update_wm_desktop();
}
}