ide - Lighttable，设置字体大小

Question

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

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")]

Answer 2

• 按 CTRL Space 并搜索“用户行为”

*点击设置：用户行为

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

Answer 3

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

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，则需要关闭并重新打开 LightTable。这应该是固定的，希望有人会在 github 问题跟踪器上打开一个问题。;)