• kevin@beehaw.org
    link
    fedilink
    arrow-up
    1
    ·
    1 year 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.