The attached patch fixes the problem for me.
Index: wftk/wftk/pushbutton.cpp =================================================================== --- wftk/wftk/pushbutton.cpp (revision 11) +++ wftk/wftk/pushbutton.cpp (revision 12) @@ -161,8 +161,6 @@ void PushButton::setUpPic(const Surface& surf) { Surface* s = new Surface(surf); - if(s->width() != width() || s->height() != height()) - s->scale(width(), height()); Surface::Resource* r = new Surface::Resource(s); setUpPic(r); @@ -204,8 +202,6 @@ void PushButton::setDownPic(const Surface& surf) { Surface* s = new Surface(surf); - if(s->width() != width() || s->height() != height()) - s->scale(width(), height()); Surface::Resource* r = new Surface::Resource(s); setDownPic(r);