Skip to content

Instantly share code, notes, and snippets.

View sergedroz's full-sized avatar

Serge Droz sergedroz

View GitHub Profile
@sergedroz
sergedroz / jl_favicon.py
Last active February 11, 2021 08:27
Set an Emoji as a custom Favicon in JupyterLab tabs
# Set an Emoji as a custom Favicon in JupyterLab tabs
# Credits:
# David Magnotti fir the idea using Jupyter Notebooks: https://twitter.com/davidmagnotti/status/1357757614625615872?s=20
# Serge Droz for the javascript pluming
def set_fav_icon( s ):
"""Set the tab favicon to an emoji or a svg file"""
from IPython.display import display, HTML
import re
### Keybase proof
I hereby claim:
* I am sergedroz on github.
* I am sergedroz (https://keybase.io/sergedroz) on keybase.
* I have a public key ASCn9CNugSjGkiGh1HECRq2g9OQOo2CuS8G0x0S9DDztPgo
To claim this, I am signing this object: