changeset 188:4568c8016377

Apply scale to IDMContainers also, not only to child widgets.
author Matti Hamalainen <ccr@tnsp.org>
date Mon, 20 Mar 2017 12:17:04 +0200
parents c9b743e32567
children 189cd8fe2304
files game/IDMContainer.java
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/game/IDMContainer.java	Thu Mar 16 14:19:25 2017 +0200
+++ b/game/IDMContainer.java	Mon Mar 20 12:17:04 2017 +0200
@@ -179,6 +179,7 @@
 
     synchronized public void setScale(IDMPoint scale)
     {
+        super.setScale(scale);
         beginIteration();
         for (IDMWidget widget : children)
         {