如何在JupyterLab中向CodeMirror编辑器添加标尺（垂直线）？

Question

我想添加一个80个字符的标尺。我知道您可以add rulers to CodeMirror，但我不知道我是否应该将the corresponding javascript放在某处的文件中，或者放在JupyterLab的Advanced Settings Editor＆gt;中。 CodeMirror＆gt; User Overides部分，或者如果我应该一起做其他事情以使其发挥作用。

我正在使用JupyterLab 0.31.8

Answer 1

此功能现在在当前的JupyterLab 1.0 alpha（see this PR）中实现。