行の高さの調整は、Lighttable の非常に優れた機能です。ドキュメントに従って、ユーザーの動作を次のように変更しています。
;; The editor tag is applied to all editors
:editor [:lt.objs.editor/no-wrap
(:lt.objs.style/set-theme "default")
(:lt.objs.style/font-settings "Ubuntu" 12 1.5)
]
ただし、整数以外の行の高さを設定すると、非常に不安定な動作が発生します(こちら1.5)。ファイルを保存するときに、自動更新が機能する場合と機能しない場合があります。代わりに整数の高さ (1または など2) を入力すると、完全にリロードされます。
だから私は疑問に思っています:非整数の行の高さを入れることは許可されていますか? それとも、リロード プロセスにバグがあるだけですか?