kill the hideDisabled option

[chaz/openbox] / openbox / config.h

diff --git a/openbox/config.h b/openbox/config.h
index 41cf74823afb4a1fbf36f56ef729fc1878ab6c6b..94991a60dd9cf15067d4e58f11100de8ff6f5846 100644 (file)
--- a/openbox/config.h
+++ b/openbox/config.h
@@ -111,8 +111,6 @@ extern gchar *config_theme;
 
 /*! Show the one-pixel border after toggleDecor */
 extern gboolean config_theme_keepborder;
-/*! Hide window frame buttons that the window doesn't allow */
-extern gboolean config_theme_hidedisabled;
 /*! Titlebar button layout */
 extern gchar *config_title_layout;
 /*! Animate windows iconifying and restoring */