You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Look at how it opens DisplayTypes.ml tab, even though the file defining this module is called displayTypes.ml:
I think this actually makes VSCode go crazy and display duplicate search results if we have an open file in the different cache, like this:
The text was updated successfully, but these errors were encountered:
I didn't change the case in extension, seems merlin did it. It's difficult to restore it, and easy to solve it in VS Code side (detect platform is Windows and respect case insensitive).
Look at how it opens
DisplayTypes.ml
tab, even though the file defining this module is calleddisplayTypes.ml
:I think this actually makes VSCode go crazy and display duplicate search results if we have an open file in the different cache, like this:
The text was updated successfully, but these errors were encountered: