vscode-ocaml icon indicating copy to clipboard operation
vscode-ocaml copied to clipboard
verified publisher icon hackwaly

go to definition to modules opens file in a wrong case on Windows

Open nadako opened this issue 9 years ago • 4 comments

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:

nadako avatar Sep 06 '16 22:09 nadako

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).

hackwaly avatar Sep 07 '16 00:09 hackwaly

I see. Well, I reported the issue to vscode too.

nadako avatar Sep 07 '16 00:09 nadako

Maybe better report this to merlin.

I found https://www.npmjs.com/package/true-case-path. I'm trying to solve it at extension side, however it may cause performance issue.

hackwaly avatar Sep 18 '16 06:09 hackwaly

This is driving me crazy because I constantly end up having various open files duplicated. Is there any way we can work around the issue?

Simn avatar Apr 22 '17 08:04 Simn