我想添加一个80个字符的标尺。我知道你可以add rulers to CodeMirror,但我不知道我是否应该将the corresponding javascript放在某处的文件中,或者放在JupyterLab的Advanced Settings Editor
> CodeMirror
> User Overides
部分,或者我是否应该一起做其他事情以使其正常工作。
我正在使用JupyterLab 0.31.8
该功能在最近发布的JupyterLab 1.0中提供。
该功能现在在当前的JupyterLab 1.0 alpha(see this PR)中实现。
注意:除了添加
{
"codeCellConfig": {
"rulers": [80]
}
}
如上所示到Notebook
设置,你也可以添加
{
"editorConfig": {
"rulers": [80]
}
}
到Text Editor
设置。