- // Get the default size for the new window if no explicit size given. If
- // there are better default sizes then these can be changed, just as long
- // as they are not too small for TLWs (and not larger than screen).
- static wxSize GetDefaultSize();