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.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update parameters #10

Merged

HaudinFlorence merged 2 commits into jupyterlab-contrib:main from HaudinFlorence:update_parameters

Mar 21, 2023

Member

HaudinFlorence commented Mar 17, 2023

No description provided.

github-actions bot commented Mar 17, 2023

👈 Launch a Binder on branch HaudinFlorence/jupyterlab-theme-editor/update_parameters


           Update customStyles in schema/plugin.json.

173e248

HaudinFlorence force-pushed the update_parameters branch 3 times, most recently from 7292f6c to 991ed5a Compare

March 19, 2023 21:27


          Update the list of fonts.

801525e

HaudinFlorence force-pushed the update_parameters branch from 991ed5a to 801525e Compare

March 19, 2023 21:36

HaudinFlorence merged commit c7140a1 into jupyterlab-contrib:main

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

Labels

None yet