https://github.com/jupyterlab/jupyterlab/pull/5570
On Friday, 2 November 2018 09:31:34 UTC+10, Nima Nooshiri wrote: > > Hi there...I would like to know whether I can change the font family in > bash terminal in JupyterLab > > > [image: jupyterlab_terminal_font.png] > > > Thanks > Nima > -- You received this message because you are subscribed to the Google Groups "Project Jupyter" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/1ccacfcd-98d3-4681-8b86-85660a81c93f%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
