16

私は Lighttable IDE の初心者です。誰もがWindowsのフォントサイズ
を設定する方法を知っています。 エディターのフォントサイズを変更できます。しかし、他の要素の設定方法がわかりません。または、すべての IDE フォントの font-size グローバルを変更します。workspace
font-size

4

4 に答える 4

26

コマンド ペイン ( ^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-27T18:12:41.937 に答える
0

次の行を に入れますuser.behaviors。

[:app :lt.objs.plugins/load-css "/home/<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;
}

もちろん、ファイル名と出力は既に異なる色で印刷されているため、2 つの異なるフォント ファミリを使用する必要はありませんが、それはあります。

CSS スタイルは、ユーザーのキーバインドと動作として動的に再読み込みされません。CSS を変更した場合は、LightTable を閉じて再度開く必要があります。これは修正する必要があります。うまくいけば、誰かが github issue tracker で問題を開くでしょう。;)

于 2016-06-04T18:40:38.937 に答える