ide - Lighttable，设置字体大小

Question

我是 Lighttable IDE 的新手。
谁知道怎么设置workspace和 windows 字体大小。
我可以更改编辑器字体大小。但不知道如何设置font-size对于其他元素。
或更改所有 IDE 字体的全局字体大小。

Answer 1

打开命令 Pane ( ^Space )，搜索“用户行为”。这将打开配置文件。将以下内容添加到中间(LightTable 0.7+):

[:editor :lt.objs.style/font-settings "Menlo" 13 2]

在较旧的 LightTable 版本上，改为添加以下内容:

:editor [:lt.objs.editor/no-wrap
              (:lt.objs.style/font-settings "Menlo" 13 2) ;; font-family: Menlo, font-size: 13px, line-height: 2em
              (:lt.objs.style/set-theme "default")]