DOC: Display "dev" instead of "devdocs" in the version switcher#23949
DOC: Display "dev" instead of "devdocs" in the version switcher#23949jklymak merged 1 commit intomatplotlib:mainfrom
Conversation
While the url is devdocs historically, and I'm not going to change this, the displayed names should be "stable" and "dev". This has the added advantage that dev takes a little less space in the menubar, and thus wrapping occurs slightly later.
story645
left a comment
There was a problem hiding this comment.
No idea if this needs 1 or 2 to merge
|
Owee, I'm MrMeeseeks, Look at me. There seem to be a conflict, please backport manually. Here are approximate instructions:
And apply the correct labels and milestones. Congratulations — you did some good work! Hopefully your backport PR will be tested by the continuous integration and merged soon! Remember to remove the If these instructions are inaccurate, feel free to suggest an improvement. |
|
Owee, I'm MrMeeseeks, Look at me. There seem to be a conflict, please backport manually. Here are approximate instructions:
And apply the correct labels and milestones. Congratulations — you did some good work! Hopefully your backport PR will be tested by the continuous integration and merged soon! Remember to remove the If these instructions are inaccurate, feel free to suggest an improvement. |
DOC: Display "dev" instead of "devdocs" in the version switcher (cherry picked from commit b5fa310)
|
Backported in #23942. |
DOC: Display "dev" instead of "devdocs" in the version switcher (cherry picked from commit b5fa310)
This changes
to only show "dev".
While the url is devdocs historically, and I'm not going to change this, the displayed names should be "stable" and "dev". This has the added advantage that dev takes a little less space in the menubar, and thus wrapping occurs slightly later.