

I have had the same problem.
This patch can help:
<code>
--- dekorator-0.4.0.3.orig/client/deKoratorclient.cc 2009-07-15 17:08:07.000000000 +0200
+++ dekorator-0.4.0.3/client/deKoratorclient.cc 2009-08-13 21:10:44.000000000 +0200
@@ -2647,6 +2647,10 @@
// maskDirty_ = true;
doShape();
}
+
+ for(int i = 0; i < ButtonTypeCount; i++)
+ if(button[ i ])
+ button[ i ]->repaint();
}
//////////////////////////////////////////////////////////////////////////////
</code> - Aug 13 2009
This patch can help:
<code>
--- dekorator-0.4.0.3.orig/client/deKoratorclient.cc 2009-07-15 17:08:07.000000000 +0200
+++ dekorator-0.4.0.3/client/deKoratorclient.cc 2009-08-13 21:10:44.000000000 +0200
@@ -2647,6 +2647,10 @@
// maskDirty_ = true;
doShape();
}
+
+ for(int i = 0; i < ButtonTypeCount; i++)
+ if(button[ i ])
+ button[ i ]->repaint();
}
//////////////////////////////////////////////////////////////////////////////
</code> - Aug 13 2009