Skip to content

link to API doesn't seem to work #1587

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
eriklovlie opened this issue Nov 24, 2019 · 3 comments
Closed

link to API doesn't seem to work #1587

eriklovlie opened this issue Nov 24, 2019 · 3 comments

Comments

@eriklovlie
Copy link

In this page the following link is used several times:

https://www.scala-lang.org/api/current/index.html#index.index-_

I'm not entirely sure what should be happening but at least in my browser (firefox 70.0.1 on windows) the page I'm taken to doesn't seem to do what the above page states:

index page for identifiers not starting with letters

@chloecollins
Copy link
Contributor

chloecollins commented Jan 1, 2020

I have also encountered this issue, on firefox 71.0. I believe it may be a vestigial link from v2.10-2.11, when this operation was supported. e.g. v2.10.0. I was unable to find a similar page in the current API docs.

This could be replaced with an instruction directing the reader to use the search bar at the top of the current API version, which would produce a url dependent on their search like so:
https://www.scala-lang.org/api/current/scala/collection/index.html?search=%

Would this be an appropriate change?

@SethTisue
Copy link
Member

SethTisue commented Jan 28, 2020

@chloecollins yes, I agree that's the right solution

(and, sorry for not replying for so long! I guess this fell between the cracks over the holidays)

@gkepka
Copy link
Contributor

gkepka commented Nov 19, 2024

Completed by #1844

@gkepka gkepka closed this as completed Nov 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants