我想增加LightTable中控制檯窗口的大小(我爲Julia使用Juno插件)。在LightTable中增加控制檯窗口的大小(Juno)
我搜索了周圍的用戶行爲文件的相關命令,但沒有找到任何東西。也許我需要編輯主題/皮膚CSS文件?如果是這樣,任何指向我應該編輯的字段?
注意1:我試過查看Ctrl + Space菜單,但沒有找到任何東西。
注意2:我知道我可以將控制檯窗口全屏顯示爲一個單獨的選項卡。這不是我所追求的。
注3:因爲至少一個評論者誤解的問題,我想我應該在這裏強調,我不是要改變字體設置。它是控制檯窗口本身的大小,即使用我試圖增加的類似println("I get displayed in the console")
打印到的位。
看看這裏:HTTP://計算器.com/questions/25534216/lighttable-set-font-size 看起來第一個數字是字體大小,第二個數字是字體大小。我喜歡Ubuntu的單,我做講座,所以我現在用 '[:編輯:lt.objs.style/font-settings「Ubuntu的單聲道」 18 1]' – Wauzl 2015-01-21 11:42:38
@Wauzl感謝您的評論。您引用的命令用於更改LightTable編輯器中的字體,字體大小和行間距。我實際上是在命令之後增加分配給控制檯的窗口本身的大小(通常位於大多數主題/皮膚的編輯器下方的位)。對不起,我會嘗試編輯這個問題,使其更加明顯。 – 2015-01-21 23:33:39