deleteDocumentSelection method
Deletes a semantic document selection.
Implementation
MarkdownSelectionTransactionResult? deleteDocumentSelection(
MarkdownDocumentSelection selection,
) {
final result = documentEditor.deleteSelection(selection);
_syncSourceSelectionFromDocumentResult(result);
return result;
}