#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"
#include <glib.h>
-#include <X11/Xlib.h>
extern RrInstance *ob_rr_inst;
extern RrImageCache *ob_rr_icons;
/* 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);
-
#endif