fix(markdown): avoid workspace-wide diagnostics refresh thread pileup#2008

sebthom merged 1 commit into

eclipse-wildwebdeveloper:mastereclipse-wildwebdeveloper/wildwebdeveloper:masterfrom

sebthom:markdown-fixsebthom/wildwebdeveloper:markdown-fixCopy head branch name to clipboard