Lighttable，設置字體大小

我是Lighttable IDE中的新成員。
任何人都知道如何設置workspace和windows的字體大小。
我可以改變編輯器的字體大小。但不知道如何爲其他元素設置font-size。或更改所有IDE字體的全局字體大小。Lighttable，設置字體大小

來源

2014-08-27 somename

目前'的最後一個值ctrl-'減少了編輯器外部的一些元素的字體，但是'ctrl +'什麼都不做，所以你很難被擊敗...... – matanster 2016-08-02 11:05:16

打開命令窗格（^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")]

來源

2014-08-27 18:12:41 Adam

tnx。但我嘗試了它。它改變編輯器的字體，而不是影響工作區或其他元素，如Windows名稱字體或文件字體大小 – somename 2014-08-27 18:19:52

@ash（通過[建議編輯]（http://stackoverflow.com/review/suggested-edits/6282913））：你可能應該將其作爲單獨的答案提交;除非答案是社區wiki，否則不建議修改現有答案以添加新方法。 – Pokechu22 2014-11-21 00:01:48

https://groups.google.com/forum/#!topic/light-table-discussion/KJpBfOPy660
zoom替代選項..

來源

2015-03-02 06:19:46 somename

認沽以下行在user.behaviors：

[:app :lt.objs.plugins/load-css "/home/&lt;your_username>/.config/LightTable/console.css"]

在console.css把這樣的事情：

ul.console, em.file, em.line { 
    font-family:"DejaVu Sans" 
    font-size:12px; 
} 

ul.console > li > table > tr > td > pre { 
    font-family:"Ubuntu Mono"; 
    font-size:12px; 
}

當然，你不必有兩個不同的字體系列作爲文件名和輸出不同的顏色已經打印出來，但它就在那裏。

CSS樣式不會作爲用戶鍵綁定和行爲動態重新加載，如果您更改CSS，則需要關閉&重新打開LightTable。這應該是固定的，希望有人會在github問題跟蹤器中發現問題。 ;）

來源

2016-06-04 18:40:38 stemd

tnx。我嘗試它。它不起作用 – somename 2016-06-27 18:54:20

按CTRL空間和搜索「用戶行爲」

*點擊設置：用戶行爲

*註釋去掉（去除;;）下;;共同行爲來考慮下面的行 ;; [：應用程序：lt.objs.style/font-settings「Arial字體」，「13」]，並變更爲表示字體大小

來源

2017-10-23 14:07:21 razvan

Lighttable，設置字體大小

回答

相關問題