Skip to content

Conversation

@jtpio
Copy link
Member

@jtpio jtpio commented Aug 27, 2025

Fixes #22

Also align a couple of variables with the upstream themes.

image

@jtpio jtpio added the enhancement New feature or request label Aug 27, 2025
@github-actions
Copy link

Binder 👈 Launch a Binder on branch jtpio/jupyterlab-night/fix-invisible-button

@jtpio jtpio requested a review from martinRenou August 27, 2025 13:06
@jtpio
Copy link
Member Author

jtpio commented Aug 27, 2025

@martinRenou if it looks good to you, happy to make a new release after the merge.

Copy link
Member

@martinRenou martinRenou left a comment

Choose a reason for hiding this comment

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

Thanks!

@martinRenou martinRenou merged commit 04fe68f into jupyterlab-contrib:main Aug 28, 2025
7 checks passed
@jtpio jtpio deleted the fix-invisible-button branch August 28, 2025 08:36
@jtpio
Copy link
Member Author

jtpio commented Aug 28, 2025

Starting a new release now.

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

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

"Restore to Defaults" button not visible in the Settings Editor

2 participants