Lighttable，设置字体大小

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

来源

2014-08-27 somename

目前'的最后一个值ctrl-'减少了编辑器外部的一些元素的字体，但是'ctrl +'什么都不做，所以你很难被击败...... – matanster 2016-08-02 11:05:16

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

来源

2014-08-27 18:12:41 Adam

tnx。但我尝试了它。它改变编辑器的字体，而不是影响工作区或其他元素，如Windows名称字体或文件字体大小 – somename 2014-08-27 18:19:52

@ash（通过[建议编辑]（http://stackoverflow.com/review/suggested-edits/6282913））：你可能应该将其作为单独的答案提交;除非答案是社区wiki，否则不建议修改现有答案以添加新方法。 – Pokechu22 2014-11-21 00:01:48

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

来源

2015-03-02 06:19:46 somename

认沽以下行在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问题跟踪器中发现问题。 ;）

来源

2016-06-04 18:40:38 stemd

tnx。我尝试它。它不起作用 – somename 2016-06-27 18:54:20

按CTRL空间和搜索 “用户行为”

*点击设置：用户行为

*注释去掉（去除;;）下;;共同行为来考虑下面的行 ;; [：应用程序：lt.objs.style/font-settings“Arial字体”，“13”]，并变更为表示字体大小

来源

2017-10-23 14:07:21 razvan

Lighttable，设置字体大小

回答

相关问题