don't let the user toggle decorations on widnows that don't have any decorations...

[chaz/openbox] / openbox / openbox.h

diff --git a/openbox/openbox.h b/openbox/openbox.h
index fadb698140c83153fd9f5d1e713167ed78296f7a..e258d31e25f6dd5c8a90a93c7ed40d839d5b9920 100644 (file)
--- a/openbox/openbox.h
+++ b/openbox/openbox.h
@@ -46,6 +46,7 @@ extern gchar   *ob_sm_id;
  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 */
 ObState ob_state();