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

Move the filebrowser search bar to the toolbar#6342

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

Closed
jtpio wants to merge3 commits intojupyter:mainfromjtpio:filebrowser-search

Conversation

@jtpio
Copy link
Member

@jtpiojtpio commentedApr 4, 2022
edited
Loading

Fixes#6341

Opening early as a proof of concept.

This help save some vertical space, which is particularly useful on mobile devices.

TODO

  • Register the file searcher via the toolbar registry
  • Fix upstream to allow to not show the file search bar
  • Fix upstream to accesslisting?

Before

image

After

image

@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branchjtpio/notebook/filebrowser-search

@jtpiojtpio added this to the7.0 milestoneApr 4, 2022
@jtpio
Copy link
MemberAuthor

This will likely needjupyterlab/jupyterlab#12347 to be fixed and released in JupyterLab first, before being able to continue here.

@jtpio
Copy link
MemberAuthor

An alternative would be to keep this space for the action buttons for the file browser:#6378

@jtpiojtpio self-assigned thisJan 11, 2023
@jtpio
Copy link
MemberAuthor

Openedjupyterlab/jupyterlab#14064 to fix it upstream.

@jtpiojtpio mentioned this pull requestMar 3, 2023
9 tasks
@jtpiojtpio closed this in #6757Mar 7, 2023
@github-actionsgithub-actionsbot locked asresolvedand limited conversation to collaboratorsMar 7, 2024
Sign up for freeto subscribe to this conversation on GitHub. Already have an account?Sign in.

Reviewers

No reviews

Assignees

@jtpiojtpio

Projects

None yet

Milestone

7.0

Development

Successfully merging this pull request may close these issues.

Move the file browser search bar to the toolbar?

1 participant

@jtpio

[8]ページ先頭

©2009-2025 Movatter.jp