【发布时间】:2016-06-22 16:54:25
【问题描述】:
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; */
}
【问题讨论】:
标签: javascript ace-editor