Fix ContentModified errors in info view while typing#679

mhuisi merged 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

brandondong:ContentModified_errorbrandondong/vscode-lean4:ContentModified_errorCopy head branch name to clipboard