i am new on Lighttable IDE.
anyone know how to set workspace
and windows font size.
i can change editor font size. but dont know how to set font-size
for other element.
or change font-size global for all IDE fonts.
16
votes
4 Answers
26
votes
Open commands pane (^Space
), search for "User behaviour". This will open config file. Add the following into the middle (LightTable 0.7+):
[:editor :lt.objs.style/font-settings "Menlo" 13 2]
On older LightTable versions add this instead:
: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")]
4
votes
1
votes
https://groups.google.com/forum/#!topic/light-table-discussion/KJpBfOPy660zoom
for alternative option..
0
votes
Put following line in user.behaviors
:
[:app :lt.objs.plugins/load-css "/home/<your_username>/.config/LightTable/console.css"]
In console.css
put something like this:
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;
}
Of course, you need not have two different font families as filename and output are already printed in different colors, but there it is.
CSS styling is not dynamically reloaded as user keybindings and behaviors, if you change your CSS, you need to close & reopen LightTable. That should be fixed, hopefully someone will open an issue at github issue tracker. ;)
ctrl -
reduces the font of some elements outside the editor, butctrl +
does nothing so you get stumped really fast.... – matanster