diff options
| author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2019-09-28 00:20:14 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-28 00:20:14 +0300 |
| commit | 329b91dcbf20ee7951cffd7d6404bfd5f9913409 (patch) | |
| tree | 0cf6d2ff795c5deb970570d35db8ad2a5eedeb44 /main/external | |
| parent | 953e4bb9ca5921cdf13671918987de778f1d7e18 (diff) | |
| parent | 8cc4655d07739cbc5386cfee9e38154e56ee0340 (diff) | |
Merge pull request #8786 from mono/fix985811-even-faster-search-results
[Ide] Improve global search result reporting even more
Diffstat (limited to 'main/external')
| -rw-r--r-- | main/external/fsharpbinding/MonoDevelop.FSharpBinding/FakeSearchCategory.fs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FakeSearchCategory.fs b/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FakeSearchCategory.fs index f8867d3909..ea08a20f00 100644 --- a/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FakeSearchCategory.fs +++ b/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FakeSearchCategory.fs @@ -48,7 +48,7 @@ type FakeSearchCategory() = override x.get_Tags() = [|"fake"|] - override x.IsValidTag _tag = true + override x.IsValidTag _tag = _tag = "fake" override x.GetResults(searchCallback, pattern, token) = |