Fonts 在Lighttable中设置非整数线高度

Fonts 在Lighttable中设置非整数线高度,fonts,settings,lighttable,Fonts,Settings,Lighttable,调整线条高度是Lighttable的一个非常好的功能。根据文档,我将使用以下内容修改用户行为: ;;编辑器标记应用于所有编辑器 :editor[:lt.objs.editor/no-wrap (:lt.objs.style/set-theme“默认”) (:lt.objs.style/font-settings“Ubuntu”12 1.5) ] 但是,在放置非整数行高度时(此处1.5),我的行为非常不稳定。保存文件时,自动刷新有时有效,有时无效。当我改为输入整数高度时(比如说1或2),它可以完

调整线条高度是Lighttable的一个非常好的功能。根据文档,我将使用以下内容修改用户行为:

;;编辑器标记应用于所有编辑器
:editor[:lt.objs.editor/no-wrap
(:lt.objs.style/set-theme“默认”)
(:lt.objs.style/font-settings“Ubuntu”12 1.5)
]
但是,在放置非整数行高度时(此处
1.5
),我的行为非常不稳定。保存文件时,自动刷新有时有效,有时无效。当我改为输入整数高度时(比如说
1
2
),它可以完美地重新加载


所以我想知道:是否允许输入非整数线高度?或者只是在重新加载过程中出现了一个错误?

我有1.4行高,看不到任何问题。@AlešRoubíček For me 1.x也可以工作,但只有在关闭并重新打开Lighttable之后。您是否能够在不重新启动分数值的情况下获得完美的实时刷新?我明白了,您是对的。在github上打开一张票。完成@AlešRoubíček感谢您的反馈。我们会看到结果的。