我想添加一个 80 个字符的标尺。我知道您可以将标尺添加到 CodeMirror,但我不知道我是否应该将相应的 javascript放在某个文件中的某个地方,或者 JupyterLab 的Advanced Settings Editor
> CodeMirror
>User Overides
部分,或者我是否应该一起做其他事情来获得它在职的。
我正在使用 JupyterLab 0.31.8
我想添加一个 80 个字符的标尺。我知道您可以将标尺添加到 CodeMirror,但我不知道我是否应该将相应的 javascript放在某个文件中的某个地方,或者 JupyterLab 的Advanced Settings Editor
> CodeMirror
>User Overides
部分,或者我是否应该一起做其他事情来获得它在职的。
我正在使用 JupyterLab 0.31.8
该功能在最近发布的 JupyterLab 1.0 中可用。
该功能现在在当前的 JupyterLab 1.0 alpha 中实现(请参阅此 PR)。
注意:除了添加
{
"codeCellConfig": {
"rulers": [80]
}
}
Notebook
如上图的设置,还可以添加
{
"editorConfig": {
"rulers": [80]
}
}
到Text Editor
设置。