首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >Lighttable,设置字体大小

Lighttable,设置字体大小
EN

Stack Overflow用户
提问于 2014-08-28 02:10:19
回答 4查看 6.3K关注 0票数 16

我是Lighttable IDE的新手。

任何人都知道如何设置workspace和windows字体大小。

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

EN

回答 4

Stack Overflow用户

发布于 2014-08-28 02:12:42

打开命令窗格(^Space),搜索“用户行为”。这将打开配置文件。在中间添加以下内容(LightTable 0.7+):

代码语言:javascript
复制
[:editor :lt.objs.style/font-settings "Menlo" 13 2]

在较旧的LightTable版本中,请添加以下内容:

代码语言:javascript
复制
: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")]
票数 26
EN

Stack Overflow用户

发布于 2017-10-23 22:07:22

  • 按CTRL空格键并搜索"user behaviors"

*单击设置:用户行为

*取消注释(remove ;;)下的;;常见行为以考虑以下行;;:app :lt.objs.style/ font -settings "Arial“"13”并更改表示字体大小的最后一个值

票数 4
EN

Stack Overflow用户

发布于 2015-03-02 14:19:47

票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/25534216

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档