【发布时间】:2018-08-25 15:04:19
【问题描述】:
我想添加一个 80 个字符的标尺。我知道你可以add rulers to CodeMirror,但我不知道我是否应该将the corresponding javascript 放在某个文件中,或者JupyterLab 的Advanced Settings Editor > CodeMirror > User Overides 部分,或者我应该一起做其他事情以使其正常工作。
我正在使用 JupyterLab 0.31.8
【问题讨论】: