我喜欢DejaVu字体,并希望使用 DejaVu Sans Mono 作为我的Jupyter qtconsole字体。我使用以下命令:
/opt/local/anaconda/bin/jupyter qtconsole \
--JupyterWidget.font_family="DejaVu" \
--JupyterWidget.font_size=11 \
--JupyterWidget.height=40 \
--JupyterWidget.width=80 --style=emacs
但似乎JupyterWidget.font_family
的设置不起作用。
我查看了Jupyter's official document about configuration,发现只有两个与字体,字体系列和大小相关的设置。那么,有没有办法指定字体?
我的系统是Linux Mint Debian 2,Jupyter QtConsole是4.2.1。我确信 DejaVu 字体已成功安装。