# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1490005024 -7200
# Node ID 4568c80163779349f977ab50a00120a1db72e78d
# Parent  c9b743e325672e4ce26dff4d55ab4bd460b5ebf3
Apply scale to IDMContainers also, not only to child widgets.

diff -r c9b743e32567 -r 4568c8016377 game/IDMContainer.java
--- 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)
         {