Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Should we separate the dev and archived version from the main version dropdown? #35

Open
PhanLe1010 opened this issue May 10, 2024 · 1 comment
Open

Should we separate the dev and archived version from the main version dropdown? #35

PhanLe1010 opened this issue May 10, 2024 · 1 comment

Comments

@PhanLe1010
Copy link

Should we separate the dev and archived version from the main version dropdown? I think it would be a bit cleaner since most user will focus on main active version instead of dev and archived. WDYT?

image
@ejweber
Copy link

ejweber commented May 13, 2024 •
edited
Loading

Possible a duplicate of #33.

Along with this, at the time of this comment, v1.6.2 should appear as v1.6.2-dev and v1.5.6 should appear as v1.5.6-dev, while v1.5.5-dev should appear as v1.5.5 (this last one may just be due to when the site was last generated?). I'm not sure how the names are generated, so there may or may not be an automation issue here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@PhanLe1010 @ejweber