Better resizing for Euphoria's file selector widgets....