Lighttable, set font size

前端 未结 4 470
后悔当初
后悔当初 2021-02-05 11:51

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<

4条回答
  •  南方客
    南方客 (楼主)
    2021-02-05 12:27

    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. ;)

提交回复
热议问题