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
With larger highlight blocks the highlight-range is quite inconvenient, especially with follow-up changes or automated reformatting. I think a pair of highlight-start ... highlight-end markers would be more convenient in many cases. I was thinking about adding highlight-start{name} but I don't see the point of naming those ranges since they cannot (must not) overlap anyway.
The text was updated successfully, but these errors were encountered:
With larger highlight blocks the highlight-range is quite inconvenient, especially with follow-up changes or automated reformatting. I think a pair of highlight-start ... highlight-end markers would be more convenient in many cases. I was thinking about adding highlight-start{name} but I don't see the point of naming those ranges since they cannot (must not) overlap anyway.
The text was updated successfully, but these errors were encountered: