Легкий, заданный размер шрифта

Я новичок в Lighttable IDE.
любой знает, как установить workspace и размер шрифта Windows.
Я могу изменить размер шрифта редактора. но не знаю, как установить font-size для другого элемента. или изменить общий размер шрифта для всех IDE-шрифтов.

Ответ 1

Откройте панель команд (^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")]

Ответ 2

https://groups.google.com/forum/#!topic/light-table-discussion/KJpBfOPy660
zoom для альтернативного варианта.

Ответ 3

Поместите следующую строку в 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.;)

Ответ 4

Нажмите CTRL Пробел и найдите "поведение пользователя"

* Нажмите "Настройки": поведение пользователя

* Uncomment (remove;;) под;; Обычное поведение для рассмотрения следующей строки;; [: app: lt.objs.style/font-settings "Arial" "13" ] и изменить последнее значение, которое представляет размер шрифта