use 'toggled' in the new button masks' resource names instead of 'pressed' to be more accurate to their use

This commit is contained in:
Dana Jansens 2003-03-31 19:39:44 +00:00
parent 506c1aa005
commit 2881ed1ed3

View file

@ -356,7 +356,7 @@ gboolean obtheme_load()
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.max.pressed.mask",
if (!read_mask(db, "window.button.max.toggled.mask",
&ob_s_max_set_mask)) {
ob_s_max_set_mask = pixmap_mask_copy(ob_s_max_unset_mask);
}
@ -379,7 +379,7 @@ gboolean obtheme_load()
if (read_mask(db, "window.button.stick.mask",
&ob_s_desk_unset_mask)) {
if (!read_mask(db, "window.button.stick.pressed.mask",
if (!read_mask(db, "window.button.stick.toggled.mask",
&ob_s_desk_set_mask)) {
ob_s_desk_set_mask =
pixmap_mask_copy(ob_s_desk_unset_mask);