# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1556541583 -10800
# Node ID 20231e8bbc4359090ae26019c8035b270db106d9
# Parent  54dd56b9bee64955bad8aa273763a607d7def915
Set IDM child widget scale when added to a container.

diff -r 54dd56b9bee6 -r 20231e8bbc43 game/IDMContainer.java
--- a/game/IDMContainer.java	Thu Apr 25 15:50:17 2019 +0300
+++ b/game/IDMContainer.java	Mon Apr 29 15:39:43 2019 +0300
@@ -26,6 +26,7 @@
     synchronized public void add(IDMWidget widget)
     {
         widget.setParent(this);
+        widget.setScale(this.scale);
         if (iterated > 0)
         {
             queue.add(0, widget);