Closed floscher closed 2 months ago
Maybe, you can have a look at what is done with https://github.com/rhysd/actionlint (hi @rhysd :wave:)
Hey, thanks for your ideas and inputs. I plan to implement ranged annotations to allow usage for example in https://github.com/rhysd/actionlint.
@floscher @ccoVeille If https://github.com/meyermarcel/annot/issues/5 solves the ranged annotations and https://github.com/meyermarcel/annot/issues/4 addresses the custom arrow style, can this issue be closed? :)
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.
I cannot close, so please do
I think it is better if @floscher closes the issue if it is closable :)
@meyermarcel Sure, this can be closed. Feel free to do as much or little about this issue as you want :wink:. 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.
A small idea for the arrows, I think in the other direction they could look a bit nicer:
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):