changeset 163:dda7152d2402

Perform scaling of button widgets.
author Matti Hamalainen <ccr@tnsp.org>
date Wed, 01 Mar 2017 12:53:45 +0200
parents e8eeac403e5f
children 2b2fa62cfea5
files game/IDMButton.java
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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);