}
}
- ewmh_update_client_list(false);
- ewmh_update_client_list(true);
- ewmh_update_active_window();
ewmh_update_number_of_desktops();
- ewmh_update_current_desktop();
ewmh_update_desktop_names();
ewmh_update_desktop_viewport();
+ ewmh_update_current_desktop();
+ ewmh_update_client_list(false);
+ ewmh_update_client_list(true);
+ ewmh_update_active_window();
free(tokens);
free(json);