Lighttable,设置字体大小

Question

我是Lighttable IDE的新手.
任何人都知道如何设置workspace和Windows字体大小.
我可以改变编辑器字体大小.但不知道如何设置font-size其他元素.或更改所有IDE字体的font-size全局.

Answer 1

打开命令窗格(^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")]