Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Lighttable, set font size

Tags:

ide

lighttable

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.

like image 324
mlibre Avatar asked Aug 27 '14 18:08

mlibre


People also ask

How do I change text size in Qt?

bu->setStyleSheet("font-size: 20px;"); Or if you are not a fan of qt stylesheet you can extract font of your button, and then change it : QFont font = bu->font(); font. setPointSize(20); bu->setFont(font);

How do I change the font in Qt?

Simply use the setFont() method on the QApplication or QWidget : QFont font("Courier New"); font. setStyleHint(QFont::Monospace); QApplication::setFont(font);

How do I change font size in bootstrap table?

Simply add a font-size: 8px; to your CSS selector. Replace 8 by any number you wish to change your font-size to. Save this answer.

How do I reduce font size in a table in HTML?

To change the font size in HTML, use the style attribute. The style attribute specifies an inline style for an element. The attribute is used with the HTML <p> tag, with the CSS property font-size. HTML5 do not support the <font> tag, so the CSS style is used to add font size.


2 Answers

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")]
like image 74
Adam Avatar answered Oct 01 '22 11:10

Adam


  • Press CTRL Space and search "user behaviors"

*Click on Settings: User behaviors

*Uncomment (remove ;;) under ;; Common behaviors to consider the following line ;;[:app :lt.objs.style/font-settings "Arial" "13"] and change the last value which represents the font size

enter image description here

like image 37
ibercode Avatar answered Oct 01 '22 11:10

ibercode