Lighttable，设置字体大小

Question

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

Answer 1

打开命令窗格（^Space），搜索＆＃34;用户行为＆＃34;。这将打开配置文件。将以下内容添加到中间（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")]

Answer 2

https://groups.google.com/forum/#!topic/light-table-discussion/KJpBfOPy660
zoom替代选项..

Answer 3

• 按CTRL空格键并搜索＆＃34;用户行为＆＃34;

*点击“设置：用户行为”

*取消注释（删除;;）下;;考虑以下行的常见行为   ;; [：app：lt.objs.style/font-settings" Arial＆＃34; ＆＃34; 13＆＃34;]并更改代表字体大小的最后一个值

Answer 4

在user.behaviors中添加以下一行：

[:app :lt.objs.plugins/load-css "/home/<your_username>/.config/LightTable/console.css"]

在console.css中输入以下内容：

ul.console, em.file, em.line {
    font-family:"DejaVu Sans"
    font-size:12px;
}

ul.console > li > table > tr > td > pre {
    font-family:"Ubuntu Mono";
    font-size:12px;
}

当然，你不需要有两个不同的字体系列，因为文件名和输出已经以不同的颜色打印，但就是这样。

CSS样式不会动态重新加载为用户键绑定和行为，如果更改CSS，则需要关闭＆amp;重新打开LightTable。这应该是固定的，希望有人会在github问题跟踪器上打开一个问题。 ;）