-
Notifications
You must be signed in to change notification settings - Fork 169
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 our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add custom logo in top right corner ? #199
Comments
Jupyterlab-fonts would do this with "just" an overrides.json, though there
might be some flicker.
https://github.com/deathbeds/jupyterlab-fonts
To hook it as early and and correctly as possible, I'd probably do a theme,
starting from the cookie cutter:
https://github.com/jupyterlab/extension-cookiecutter-ts
It's likely it could just be a background-image, with the svg inlined by
webpack, but would enable much deeper customizing, both of css and various
other techniques (e.g some global dockpanel options).
Post-build patching of index.html (e.g. by just adding a style tag) would
also work, but would always be fighting upgrades.
|
In JupyterLab v4, right of the main menu bar will be a customizable toolbar. Defining an extension that inject an item in that toolbar will be the recommended way. |
@bollwyvl @fcollonval thx again for your fast replies. Much appreciated ! I played around with the cookiecutter and finally found that a frontend extension was a simpler way to do it, compared to a full fledged theme. What is today's rough estimate for Jupyterlab v4 release ? decently stable beta and official release ? |
The goal is to get a target by the end of July. Then once the beta is out, expect the official release ~8 weeks later. |
There's a PR with an example of something similar here. |
This is what I try to achieve - with a sample logo:
To do that manually, I open the console and paste:
My questions are:
I would be grateful for any hint/pointer.
The text was updated successfully, but these errors were encountered: