make arrow button's arrow size scalable by the user

1 files changed, 2 insertions, 1 deletions

diff --git a/src/ButtonTool.cc b/src/ButtonTool.cc
index a3b4d7b..78edbe7 100644
--- a/src/ButtonTool.cc
+++ b/src/ButtonTool.cc
@@ -19,7 +19,7 @@
 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 // DEALINGS IN THE SOFTWARE.
 
-// $Id: ButtonTool.cc,v 1.3 2004/01/13 14:41:32 rathnor Exp $
+// $Id: ButtonTool.cc,v 1.4 2004/08/26 15:09:33 rathnor Exp $
 
 #include "ButtonTool.hh"
 
@@ -55,6 +55,7 @@ void ButtonTool::renderTheme() {
     btn.setBorderColor(theme().border().color());
     btn.setBorderWidth(theme().border().width());
     btn.setAlpha(theme().alpha());
+    btn.updateTheme(static_cast<const FbTk::Theme &>(theme()));
 
     Pixmap old_pm = m_cache_pm;
     if (!theme().texture().usePixmap()) {