- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我想在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
设置。
关于codemirror - 如何在JupyterLab中的CodeMirror编辑器中添加标尺(垂直线)?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/49322559/
我对 YAML 数据 block 有疑问。给定以下 pandoc 文档: --- papersize: a4 geometry: "left=1.5cm,right=1.5cm,top=3cm,bot
我对 YAML 数据 block 有疑问。给定以下 pandoc 文档: --- papersize: a4 geometry: "left=1.5cm,right=1.5cm,top=3cm,bot
在 Xcode 中,界面构建器是否具有某种可自定义的标尺(如 Photoshop 中的标尺)来帮助我正确定位元素? 我知道它会出现那些红线,但我的意思是你可以定位自己的线。 谢谢,丹。 最佳答案 我找
我有疑问。我正在编写像 this 这样的编辑器,我还想要一个标尺来添加它(它通过鼠标滚动(放大和缩小)更改值) 可是我做不到。我在 github 上尝试了所有标尺,但它们只运行 body 标签。 很遗
我更新了 chrome,当我打开 devtools 时,我看到了这个。 如何去掉标尺(上部和右侧的黑色部分)?它需要很大的空间,而且我有一个 13.3 英寸的小屏幕。 最佳答案 F12;左上角望远镜图
我是一名优秀的程序员,十分优秀!