Constantine
Constantine
Also, the Problems window opened via `Ctrl+F1` keypress isn't focused by default, making it impossible to close it with `Shift+Esc` right after opening it. It would be best if you...
**Is your feature request related to a problem? Please describe.** No, not a problem all. **Describe the solution you'd like** I'd love to see an option to be able to...