You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There's no line number in the error message however. Should we still do this?
You mean, should we still include the error message in the parsed log? Currently, it will only be included if there is some form of line specification:
I think we could probably add another matcher to include \vbox warnings that don't have the line specification. Users are free to ignore the messages with the filter option, so I think it makes sense to include all relevant warnings. Right?
⟹ log file contains
There's no line number in the error message however. Should we still do this?
The text was updated successfully, but these errors were encountered: