by Ehsan Iran-Nejad (Last updated: Tuesday, November 28, 2023)

• shows diagnostic results
• these are NOT exec errors
• can be disabled in options
• errors by default
• warings and info can be added
• click to go to line