+void focus_shutdown()
+{
+ guint i;
+
+ for (i = 0; i < screen_num_desktops; ++i)
+ g_list_free(focus_order[i]);
+ g_free(focus_order);
+
+ XDestroyWindow(ob_display, focus_backup);
+
+ /* reset focus to root */
+ XSetInputFocus(ob_display, PointerRoot, RevertToNone, CurrentTime);
+}
+