【发布时间】:2015-03-07 08:47:01
【问题描述】:
我想增加 LightTable 中控制台窗口的大小(我正在为 Julia 使用 Juno 插件)。
我搜索了用户行为文件的相关命令,但没有找到任何东西。也许我需要编辑主题/皮肤 css 文件?如果是这样,关于我应该编辑哪个字段的任何指针?
注意 1:我尝试查看 Ctrl+Space 菜单,但没有找到任何内容。
注意 2:我知道我可以将控制台窗口作为一个单独的选项卡全屏显示。这不是我想要的。
注 3:由于至少有一位评论者误解了这个问题,我想我应该在这里强调一下,我并不是要更改字体设置。它是控制台窗口本身的大小,即使用我试图增加的println("I get displayed in the console") 之类的东西打印出来的位。
【问题讨论】:
-
看看这里:stackoverflow.com/questions/25534216/lighttable-set-font-size 看起来第一个数字是字体大小,第二个数字是行距。我喜欢 Ubuntu Mono,我正在演讲,所以我现在使用
[:editor :lt.objs.style/font-settings "Ubuntu Mono" 18 1] -
@Wauzl 感谢您的评论。您引用的命令用于更改 LightTable 编辑器中的字体、字体大小和行距。我实际上是在命令增加分配给控制台的窗口本身的大小(对于大多数主题/皮肤通常位于编辑器下方的位)。抱歉,我会尝试编辑问题以使其更加明显。
标签: css julia lighttable