/* This save_file will get pass to ourselves if we restart too! So we won't
make a new file every time, yay. */
extern gchar *ob_sm_save_file;
/* This save_file will get pass to ourselves if we restart too! So we won't
make a new file every time, yay. */
extern gchar *ob_sm_save_file;
extern gboolean ob_replace_wm;
extern gboolean ob_debug_xinerama;
/* The state of execution of the window manager */
extern gboolean ob_replace_wm;
extern gboolean ob_debug_xinerama;
/* The state of execution of the window manager */