void () { var unscaled = unscaledNoCopy(); top = JBUIScale.scale(unscaled.top); left = JBUIScale.scale(unscaled.left); bottom = JBUIScale.scale(unscaled.bottom); right = JBUIScale.scale(unscaled.right); }