Arrow style, option to highlight more than one character

[floscher]

A small idea for the arrows, I think in the other direction they could look a bit nicer:

 ↑       │
 │   vs  │
 └─      └─►

Also, then the other end of the arrow could be used to highlight more than just one character like this (either automatically extending to the nearest whitespaces, or passing it a start and end index):

The quick brown fox jumps over the lazy dog
    ━┯━━━ ━┯━━━                    ━┯━━
     │     └─► adjective            └─► adjective
     │
     └─► adjective

[ccoVeille]

Maybe, you can have a look at what is done with https://github.com/rhysd/actionlint (hi @rhysd 👋)

[mrclmr]

Hey, thanks for your ideas and inputs. I plan to implement ranged annotations to allow usage for example in https://github.com/rhysd/actionlint.

[mrclmr]

@floscher @ccoVeille If #5 solves the ranged annotations and #4 addresses the custom arrow style, can this issue be closed? :)

[ccoVeille]

Sure, it's great. Please let me know about your progression in https://github.com/rhysd/actionlint or any project you consider using your tool.

[ccoVeille]

I cannot close, so please do

[mrclmr]

I think it is better if @floscher closes the issue if it is closable :)

[floscher]

@meyermarcel Sure, this can be closed. Feel free to do as much or little about this issue as you want 😉. At the moment I don't have a real usecase for your project myself, so it was more a suggestion than a real issue/problem I had with it.