Workaround for emptying FSharp.Editor cache due to duplicate ProjectSystem events#13313

vzarytovskii merged 3 commits intodotnet:release/dev17.3dotnet/fsharp:release/dev17.3from

vzarytovskii:sources-cache-workaroundvzarytovskii/fsharp:sources-cache-workaroundCopy head branch name to clipboard