- Addresses #12587
- Adds a checkbox (default unchecked) that pops up the Output Messages
window when there are new messages available.
- If the output messages is docked, then this checkbox is disabled.
- This option is also saved into settings.