Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@nwlandry
Copy link
Collaborator

@nwlandry nwlandry commented Sep 9, 2024

This PR fixes the version dropdown

@nwlandry nwlandry linked an issue Sep 9, 2024 that may be closed by this pull request
@codecov
Copy link

codecov bot commented Sep 9, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 93.14%. Comparing base (5b08511) to head (0035f96).
Report is 51 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #590   +/-   ##
=======================================
  Coverage   93.14%   93.14%           
=======================================
  Files          60       60           
  Lines        4506     4506           
=======================================
  Hits         4197     4197           
  Misses        309      309           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@nwlandry nwlandry merged commit 112df1c into main Sep 9, 2024
@nwlandry nwlandry deleted the fix-switcher branch September 9, 2024 17:54
"image_light": "../../logo/logo.svg",
"image_dark": "../../logo/logo_white.svg",
},
"navbar_start": ["navbar-logo", "navbar-version"],
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

is having the version on the left with the logo not redundant with having it displayed on the right in the switcher?

@maximelucas
Copy link
Collaborator

Not sure exactly what caused this but now the New release button says "dev" instead of the version number:

image

@nwlandry
Copy link
Collaborator Author

Mmm. Good catch! Sorry about that. The only issue with putting the version in the version switcher is that you need to edit by hand, which is totally fine, but I was trying to be clever and have the website be completely "hands-free" so it would auto import the version, date, etc. but obviously there are some downsides. Happy to make a little PR removing the logic I added.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove "Choose version" as default value

2 participants