comparison game/IDMContainer.java @ 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 55ea5821c802
children 189cd8fe2304
comparison
equal deleted inserted replaced
187:c9b743e32567 188:4568c8016377
177 return false; 177 return false;
178 } 178 }
179 179
180 synchronized public void setScale(IDMPoint scale) 180 synchronized public void setScale(IDMPoint scale)
181 { 181 {
182 super.setScale(scale);
182 beginIteration(); 183 beginIteration();
183 for (IDMWidget widget : children) 184 for (IDMWidget widget : children)
184 { 185 {
185 widget.setScale(scale); 186 widget.setScale(scale);
186 } 187 }