CodeMirror javascript Gutter line Number padding

Posted 2023-03-06

【中文标题】CodeMirror javascript Gutter line Number padding

【英文标题】：

【发布时间】：2013-09-23 23:02:27

【问题描述】：

我这里有个小提琴 --> http://jsfiddle.net/bagofmilk/HfDbe/5/

我试图让用户调整编辑器的字体大小。问题是排水沟中的行号在排水沟中移动，有时在排水沟之外。如果您将字体大小设置为 10px，您将看到行号在装订线中没有正确对齐。

我不知道我需要调整哪个课程。我以为是：

$('.CodeMirror-sizer').css('width', linenumbers);

但这似乎不起作用

基本上，每次更改字体大小时，我都会寻找合适的行号以适合装订线。

【参考方案1】：

在更改会影响编辑器布局的样式后调用.refresh()。这应该使所有内容都正确回流。

【讨论】：

我在每次 CSS 更改后调用了 .refresh()（参见 jsFiddle）。你碰巧知道我可以修改哪个类来允许我为排水沟中的行号添加填充？

浏览一下 codemirror.css 的顶部——这是不言自明的。在这种情况下，您需要CodeMirror-linenumber。