Figure out how to handle editor edits

[Norbo11]

Right now, line highlights move as we add new lines.

But many other things don't work properly, such as the tooltip we display.

We should probably remove feedback on edit, unless auto-refresh is enabled (in which case we should remove anyway and let it auto-update in a few seconds).

Another approach is to not remove anything but simply update the displayProvider with new values (call the translation functions again, without having to re-query the backend if auto-refresh is off).