Giter Site home page Giter Site logo

Comments (5)

steelbrain avatar steelbrain commented on August 30, 2024

I think this is working as intended, the editor does not know the accurate position after you edit text. Getting the new position from the provider are the only way to fix this.

As a workaround you could also close/re-open the tab

from linter-ui-default.

steelbrain avatar steelbrain commented on August 30, 2024

Oh wait, do you mean that the text that is not the error is highlighted? In that case, yes it is a bug. We could update the message object with the latest marker positions we get so message registry can invalidate it and send the UI provider a more accurate message

from linter-ui-default.

jordwalke avatar jordwalke commented on August 30, 2024

I'll clarify. The text that is highlighted is the actual error. When I insert newlines into the document, the red text tracks correctly with the original text that was highlighted red. Imagine the red underlines being "sticky" on the problematic original text. That part is correct. What is incorrect is that jumping to "next error" or clicking on the bottom panel to go to the error, now does not go to the red underline location. It goes to the range that originally had the red underline before you inserted a bunch of newlines. Something somewhere knows where those red underlines are - because the document shows them as being moved.

from linter-ui-default.

steelbrain avatar steelbrain commented on August 30, 2024

Oh okay, to overcome this issue we'll have to not only keep the message pointers up to date of the changes but also re-render the panel everytime editor text changes. These recalculations are pretty cpu time costly in master, but in #40 they should be good

Thank you again for bringing this up to our attention

from linter-ui-default.

steelbrain avatar steelbrain commented on August 30, 2024

This has been fixed in #40

from linter-ui-default.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.