CodeMirror javascript Gutter行号填充

Question

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

我试图允许用户调整编辑器的字体大小。问题是在排水沟的排水沟里，有时在排水沟外面。如果您将字体大小设置为10 in，您将看到线轴在排水沟中没有正确地对齐。

我不知道我需要调整哪一门课。我以为是：

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

但这似乎行不通

基本上，我正在寻找行号，以适当地适应每一次字体大小改变的排水沟。

Answer 1

更改将影响编辑器布局的样式后调用.refresh()。这应该能使一切恢复正常。