There are few instances where documentation search returns a random unrelated documentation from a random package instead of the actual documentation page that should appear first. Here is a recent example:
This isn't the case with the search feature in api.flutter.dev which has the correct top result. While having workaround isn't bad, the workaround isn't memorable enough to get use to, ended up trying bunch of commands to get it working, some times completely never return the intended documentation page.
There are few instances where documentation search returns a random unrelated documentation from a random package instead of the actual documentation page that should appear first. Here is a recent example:
Command:
Expected result:
Actual result:
Workaround:
This isn't the case with the search feature in api.flutter.dev which has the correct top result. While having workaround isn't bad, the workaround isn't memorable enough to get use to, ended up trying bunch of commands to get it working, some times completely never return the intended documentation page.