ob_s_titlebut_unfocused_color = color_new(0xff, 0xff, 0xff);
if (read_mask(db, "window.button.max.mask", &ob_s_max_unset_mask)) {
ob_s_titlebut_unfocused_color = color_new(0xff, 0xff, 0xff);
if (read_mask(db, "window.button.max.mask", &ob_s_max_unset_mask)) {
if (read_mask(db, "window.button.stick.mask",
&ob_s_desk_unset_mask)) {
if (read_mask(db, "window.button.stick.mask",
&ob_s_desk_unset_mask)) {