Hervé Girod - 2024-07-19

Add a getLineOfOffset method in the SyntaxDocument (as it exists in the JEditor class) to get the line of an offset in the document
Call only one method when calling replaceText in the JEditor
Add a DefaultDiffEngine to get a not graphical diff between two texts