+/*! Save the session IDs as seen by Openbox when the window mapped, so that
+ users can still access them later if the app changes them */
+static void client_save_session_ids(ObClient *self)
+{
+ PROP_SETS(self->window, ob_role, self->role);
+ PROP_SETS(self->window, ob_name, self->name);
+ PROP_SETS(self->window, ob_class, self->class);
+}
+