Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Rename some header links to fit better#7508

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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged
jtpio merged 2 commits intojupyter:mainfromgjmooney:update_docs_navbar
Oct 31, 2024

Conversation

@gjmooney
Copy link
Contributor

Small fix for#7495.

This just shortens the titles used in the navbar so they fit better, and adds a dropdown menu after 4 items. .

docs

@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branchgjmooney/notebook/update_docs_navbar

Copy link
Member

@jtpiojtpio left a comment

Choose a reason for hiding this comment

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

Thanks for looking into this!

@jtpiojtpio added this to the7.3.0 milestoneOct 31, 2024
Copy link
Member

@jtpiojtpio left a comment

Choose a reason for hiding this comment

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

Looks good, thanks!

@jtpiojtpio linked an issueOct 31, 2024 that may beclosed by this pull request
@jtpiojtpio merged commitc93015d intojupyter:mainOct 31, 2024
29 checks passed
@gjmooneygjmooney deleted the update_docs_navbar branchOctober 31, 2024 12:29
@github-actionsgithub-actionsbot locked asresolvedand limited conversation to collaboratorsNov 1, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account?Sign in.

Reviewers

@jtpiojtpiojtpio approved these changes

Assignees

@gjmooneygjmooney

Projects

None yet

Milestone

7.3.0

Development

Successfully merging this pull request may close these issues.

Docs navbar is off

2 participants

@gjmooney@jtpio
[8]ページ先頭
©2009-2025 Movatter.jp