# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1488365625 -7200
# Node ID dda7152d2402d65d83b09fa3d43d0b1e4ab13c22
# Parent  e8eeac403e5f14d6b963e7c12002b4d7fdeb902d
Perform scaling of button widgets.

diff -r e8eeac403e5f -r dda7152d2402 game/IDMButton.java
--- a/game/IDMButton.java	Thu Dec 01 14:33:25 2016 +0200
+++ b/game/IDMButton.java	Wed Mar 01 12:53:45 2017 +0200
@@ -84,7 +84,10 @@
             metrics = g.getFontMetrics(font);
 
         int textWidth = metrics.stringWidth(text);
-        g.drawImage(img, getScaledX() + xoffs, getScaledY() + yoffs, null);
+        g.drawImage(img,
+            getScaledX() + xoffs, getScaledY() + yoffs,
+            getScaledWidth(), getScaledHeight(),
+            null);
 
         g.setFont(font);
         g.setPaint(Color.black);