CodeMirror javascript Gutter line Number padding

时间:2013-09-19 01:23:56

标签: javascript jquery padding codemirror

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

我正在尝试允许用户调整编辑器的字体大小。问题是排水沟中的亚麻布在排水沟中移动,有时在排水沟外移动。如果将字体大小设置为10px,您将看到在装订线中没有正确对齐亚麻布。

我无法弄清楚我需要调整哪个班级。我以为是:

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

但这似乎不起作用

基本上,每次更改字体大小时,我都在寻找正确放入装订线的行号。

1 个答案:

答案 0 :(得分:8)

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