#include "misc.h"
-#include "render/render.h"
-#include "render/theme.h"
+#include "obrender/render.h"
+#include "obrender/theme.h"
#include "obt/mainloop.h"
#include "obt/display.h"
/* The state of execution of the window manager */
ObState ob_state(void);
+void ob_set_state(ObState state);
void ob_restart_other(const gchar *path);
void ob_restart(void);
void ob_reconfigure(void);
-void ob_exit_with_error(const gchar *msg);
+void ob_exit_with_error(const gchar *msg) G_GNUC_NORETURN;
Cursor ob_cursor(ObCursor cursor);
-KeyCode ob_keycode(ObKey key);
+gboolean ob_keycode_match(KeyCode code, ObKey key);
#endif