+ if (!read_mask(db, "window.button.icon.pressed.mask",
+ &ob_s_iconify_pressed_mask)) {
+ ob_s_iconify_pressed_mask =
+ pixmap_mask_copy(ob_s_iconify_unpressed_mask);
+ }
+
+ if (!read_mask(db, "window.button.stick.mask",
+ &ob_s_desk_unpressed_mask)) {