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
When an error is detected and highlighted, we could have a key like C-c C-e that echoes an error description for the error at point, like "unknown phase line" or "parameter value must be a scalar", or similar. If there is no error at point, we could search for the next error or echo a "No errors detected" message if no errors are found. This would also be useful to debug erro highlighting.
The text was updated successfully, but these errors were encountered:
When an error is detected and highlighted, we could have a key like C-c C-e that echoes an error description for the error at point, like "unknown phase line" or "parameter value must be a scalar", or similar. If there is no error at point, we could search for the next error or echo a "No errors detected" message if no errors are found. This would also be useful to debug erro highlighting.
The text was updated successfully, but these errors were encountered: