Bug#300737: Fixed: patch included

[Vassilis Virvilis]

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);