add a config option hideDisabled in the theme section that hides disabled buttons...
[mikachu/openbox.git] / COMPLIANCE
2003-10-15 Dana Jansenscurrent WMWH compliance