Skip to content

Conversation

panva
Copy link
Contributor

@panva panva commented Sep 30, 2021

Closes #556

This PR allows for ?language= or #language= selector in the URL to drive the initial selected language on the libraries page.

It also replaces the history state with ?language=${Name} whenever a language filter is manually applied.

@Sambego Sambego merged commit ae8105b into jsonwebtoken:master Oct 15, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

link to libraries page with a language preselected
2 participants