【问题标题】:CodeMirror javascript Gutter line Number paddingCodeMirror javascript Gutter line Number padding
【发布时间】:2013-09-23 23:02:27
【问题描述】:

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

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

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

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

但这似乎不起作用

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

【问题讨论】:

    标签: javascript jquery padding codemirror


    【解决方案1】:

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

    【讨论】:

    • 我在每次 CSS 更改后调用了 .refresh()(参见 jsFiddle)。你碰巧知道我可以修改哪个类来允许我为排水沟中的行号添加填充?
    • 浏览一下 codemirror.css 的顶部——这是不言自明的。在这种情况下,您需要CodeMirror-linenumber
    猜你喜欢
    • 2019-02-03
    • 1970-01-01
    • 2020-01-18
    • 1970-01-01
    • 1970-01-01
    • 2014-07-16
    • 1970-01-01
    • 2018-12-18
    • 1970-01-01
    相关资源
    最近更新 更多