ignatov / intellij-erlang

Erlang IDE
https://www.jetbrains.com/help/idea/2018.2/getting-started-with-erlang.html
Other
732 stars 121 forks source link

Plugin cannot show quick documentation for Erlang 20.1 #814

Open vpotapev opened 6 years ago

vpotapev commented 6 years ago

I have two Erlang installations via kerl: 19.3 and 20.1 . When I use SDK 19.3, I can fetch quick documentation using Ctrl+Q successful, but after switching SDK to 20.1 the plugin shows the next message: "No documentation found." SDK online doc settings:

xdanos commented 6 years ago

+1 on this.

For me, it does not work regardless the used SDK.

After playing with tcpdump a bit, I found out that the IDE is fetching a wrong URL - incorrect path to the documentation to be precise. Same applies for locally stored documentation.

I have investigated this behavior a few weeks ago, I will try to dig out the specific URLs, I probably have them stored somewhere.

xdanos commented 6 years ago

All right.

So, first of all, http://www.erlang.org/documentation/doc-9.1/lib/kernel-5.4/doc/html/file.html returns [HTTP/1.1 301 Moved Permanently], which browsers can handle, but the plugin implementation, I suppose, cannot.

But, even after changing the URL to http://erlang.org/documentation/doc-9.1/lib/kernel-5.4/doc/html/file.html, which DOES return correct HTML page, the documentation is not showed. Note that the difference is in the www subdomain.

Can there be a problem with the plugin's HTML parser?

Also, I am quite certain that a few weeks ago, none of the above-mentioned URLs worked properly.