I get the impression that adding goals via scripts is being phased out and we’re supposed to add goals under the settings tab now. However, the box displaying the goals to the user can block a good chunk of the screen during a level’s introduction. Is there a convenient way to minimize that box (without requiring the user to do it manually) and then have it expand at the end of the intro script?
Nah; that was the original script-based way of controlling the goal box, but we removed that feature when we moved the goals out of the scripts (after noticing that none of our levels ended up needing it). You could put the into script into letterbox mode, which hides the goals (but also the top/bottom of the screen).