我喜欢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关于配置的官方文档,发现只有两个与字体、字体系列和大小相关的设置。那么,有没有办法指定字体?
我的系统是 Linux Mint Debian 2,Jupyter QtConsole 是 4.2.1。而且我确定DejaVu字体已成功安装。