That can be annoying, in my opinion. Having the number (or even the tag, as you suggest) highlighted is more "reassuring". A double click isn't really that much of an effort. Perhaps, it can be reduced to a single click if it does as you say, but with the position of the caret and not the cursor?
(and from a technical point of view, it would be more trouble than its worth if the library he's using doesn't have a way to convert mouse position to line-character position)
(and from a technical point of view, it would be more trouble than its worth if the library he's using doesn't have a way to convert mouse position to line-character position)
A-Engine: A new beat em up game engine inspired by LF2. Coming soon
A-Engine Dev Blog - Update #8: Timeout