Lighttable，设置字体大小答案

【问题标题】：Lighttable, set font sizeLighttable，设置字体大小
【发布时间】：2014-10-21 10:55:09
【问题描述】：

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

【问题讨论】：

目前ctrl - 减少了编辑器外一些元素的字体，但ctrl + 什么都不做，所以你很快就会被难住......

标签： ide lighttable

【解决方案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")]

【讨论】：

tnx 。但我试试看。它会更改编辑器字体，并且不会影响工作区或其他元素，例如 Windows 名称字体或文件字体大小
@ash（通过suggested edit）：您可能应该将其作为单独的答案提交；除非答案是社区 wiki，否则不建议修改现有答案以添加新方法。

【解决方案2】：

按CTRL空格并搜索“用户行为”

*点击设置：用户行为

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

【讨论】：

【解决方案3】：

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

【讨论】：

【解决方案4】：

在user.behaviors中加入以下行：

[:app :lt.objs.plugins/load-css "/home/&lt;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，则需要关闭并重新打开 LightTable。这应该是固定的，希望有人会在 github 问题跟踪器上打开一个问题。 ;)

【讨论】：