javascript - CodeMirror javascript Gutter line Number padding

Question

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

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

我无法弄清楚我需要调整哪个课程。我以为是：

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

但这似乎不起作用

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

Answer 1

.refresh()在更改将影响编辑器布局的样式后调用。这应该使一切都正确回流。