javascript - 在 ACE 编辑器中更改行高？

Question

如何改变ace编辑器的行高？

是否有任何 API 可以做到这一点？增加行高也应该增加装订线高度和光标高度，但从他们的文档中似乎丢失了。

虽然我写这篇文章并不走运，

editor.setOptions({
    lineHeight: "40px"
});

我做了一些 CSS hack，但它再次破坏了编辑器布局

div.ace_gutter-cell, div.ace_line {
    padding-top: 10px;
    padding-bottom: 10px;
    height: 20px !important; 
    /* border: 1px solid #ccc; */
}

Answer 1

你可以使用

editor.container.style.lineHeight = 2
editor.renderer.updateFontSize()

类似于 fontSize 选项的作用 https://github.com/ajaxorg/ace/blob/v1.2.3/lib/ace/virtual_renderer.js#L1703-L1710