changeset 203:20231e8bbc43 default tip

Set IDM child widget scale when added to a container.
author Matti Hamalainen <ccr@tnsp.org>
date Mon, 29 Apr 2019 15:39:43 +0300
parents 54dd56b9bee6
children
files game/IDMContainer.java
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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);