Closed idillon-sfl closed 1 year ago
workspace.openTextDocument would not update the document when and new version get saved, which had for result to give a non-updated position.
workspace.openTextDocument would not update the document when and new version get saved, which had for result to give a non-updated position.