我是Lighttable IDE的新手。
任何人都知道如何设置workspace和windows字体大小。
我可以改变编辑器的字体大小。但是不知道如何为其他元素设置font-size。或更改所有IDE字体的全局字体大小。
发布于 2014-08-28 02:12:42
打开命令窗格(^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")]发布于 2017-10-23 22:07:22
*单击设置:用户行为
*取消注释(remove ;;)下的;;常见行为以考虑以下行;;:app :lt.objs.style/ font -settings "Arial“"13”并更改表示字体大小的最后一个值

发布于 2015-03-02 14:19:47
https://stackoverflow.com/questions/25534216
复制相似问题