Error message display is too small by default
Description
Attachments
1
Activity
Show:

Yumiko Jansing December 2, 2020 at 3:57 PM
Error messages will now be wrapped so they are displayed fully. Iām not sure if the corresponding filename should be wrapped too.
Fixed
Details
Details
Assignee

Reporter

Priority
Created October 10, 2020 at 8:09 AM
Updated December 21, 2020 at 11:12 AM
Resolved December 21, 2020 at 11:12 AM
I think we should increase the default area given to error messages. Usually, one cannot read a parse / type error message without first increasing the column size.
Also, I am not sure if it would be possible to jump to the error position within DEFINITION files in the editor (e.g., via a show error location button).