• kevin ( kevin@beehaw.org ) 
    link
    fedilink
    arrow-up
    5
    ·
    3 years ago

    There’s an open PR that’ll fix the font size issue. I’m using it now and it’s great. I’m also personally working on trying to add my personal must-have UI options from Boost.