linter-julia icon indicating copy to clipboard operation
linter-julia copied to clipboard

editor drags the marked hint around

Open takbal opened this issue 3 years ago • 1 comments

While adding the StaticLint support, I could not fix this behaviour:

bug_dragging_error

The editor seems to drag the end of the marked text with the typing, but only when editing starts at the end of a marked text. The hints sent back from the julia code seem correctly positioned, and the positions are unchanged in subsequent updates (this can be also seen from that saving and opening the file fixes the problem), but the editor seems to override the messages.

I have put in a hack into julia-server.jl to mark one less character when the error is at the end of the buffer:

if endpos == length(code) # here length() should be changed to lastindex() for unicode
   endcolumn -= 1
end

so this is less of an issue when typing at the bottom of the file, but it is not an elegant solution. It does not help with insertions like on the screenshot either.

Not sure if I did something wrong, or it is a problem with linter.

takbal avatar Mar 09 '21 11:03 takbal

I'm pretty sure this is an upstream issue and commonly happens with Atom's decoration API. There's some code in ink that fixes the issue for inline results (which are another kind of decoration), so might make sense to upstream that.

pfitzseb avatar Mar 09 '21 13:03 pfitzseb