Fixes diagnostics. Closes #215#255

garrytrinder merged 2 commits into

maindev-proxy-tools/toolkit:mainfrom

215-bug-diagnostics-remain-if-a-file-is-deleteddev-proxy-tools/toolkit:215-bug-diagnostics-remain-if-a-file-is-deletedCopy head branch name to clipboard