/* The state of execution of the window manager */
ObState ob_state();
+void ob_set_state(ObState state);
void ob_restart_other(const gchar *path);
void ob_restart();
Cursor ob_cursor(ObCursor cursor);
-KeyCode ob_keycode(ObKey key);
+gboolean ob_keycode_match(KeyCode code, ObKey key);
#endif