4

我想增加 LightTable 中控制台窗口的大小(我正在为 Julia 使用 Juno 插件)。

我已经搜索了用户行为文件的相关命令,但没有找到任何东西。也许我需要编辑主题/皮肤 css 文件?如果是这样,关于我应该编辑哪个字段的任何指针?

注意 1:我试过浏览 Ctrl+Space 菜单,但没有找到任何东西。

注意 2:我知道我可以将控制台窗口全屏作为单独的选项卡。这不是我所追求的。

注 3:由于至少有一位评论者误解了这个问题,我想我应该在这里强调一下,我并不是要更改字体设置。println("I get displayed in the console")它是控制台窗口本身的大小,即使用我试图增加的东西打印出来的位。

4

1 回答 1

2

如果我对您的理解正确,您只需使用鼠标即可。在代码编辑器停止和控制台输出开始之间存在一种死区。如果您将光标缓慢地移过该死区,朝屏幕底部移动,它将发生变化并允许您单击并拖动以调整控制台大小。单击的栏基本上是隐藏的,所以我理解混乱。

我无法在屏幕截图中正确捕获我的鼠标,但它大约是我附加的屏幕截图中光标所在的位置

http://i.stack.imgur.com/tGlYu.png

于 2015-03-07T00:47:01.937 回答