[Ivette] Updating CodeMirror to version 6

See merge request frama-c/frama-c!4036

Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago

Small detail but the function that starts the external editor is named
"edit", with a verb, like, it's an action.

Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago

The dispatched operations order is important and caused a bug that would
prevent scrolling to a marker outside of the ASTview componant if it was
in another function than the one currently displayed. The text field
setter now dispatch the document changes before the field update. This
changes impact how the MarkerScroller ViewUpdater catches an update of
the selected marker, allowing to perform the scrolling when needed.

Used to update the cursor position in ASTview when the marker is
changed. Works like a charm. Also used to trigger gutters updates.

Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago

Let's focus on the taints !