+/*
+ * Updates all the EWMH desktop properties.
+ *
+ */
+void ewmh_update_desktop_properties(void) {
+ ewmh_update_number_of_desktops();
+ ewmh_update_desktop_viewport();
+ ewmh_update_current_desktop();
+ ewmh_update_desktop_names();
+ ewmh_update_wm_desktop();
+}
+