How to add font?

[j-min]

Thanks for the awesome extension! This works smoothly in my setting :)
I'd like to try jupyterlab with some other fonts (ex. D2coding).
Could you please instruct how I can add custom fonts?

[bollwyvl]

Unfortunately, adding new fonts is not easy at this time, and basically requires a new extension. I'm considering how to make it simpler to use, such that you just put the font files in a place, and run a script to register it, but it will take a bunch of plumbing.

…

On Sun, Jan 6, 2019, 03:29 Jaemin Cho ***@***.***> wrote: Thanks for the awesome extension! This works smoothly in my setting :) I'd like to use jupyterlab with D2coding <https://github.com/naver/d2codingfont>. Could you please instruct how I can add custom fonts? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#13>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AACxRAZKAslDDf5pjFK81e7FLfNDECtXks5vAbPbgaJpZM4ZyUh1> .