added in #523 which apparently makes it all work on windows as
well B)
[ ] relatedly supporting using the traditional ctl +/- to
grow or shrink the font size and subsequently resize all UI
widget sizes around the changes.
note many of our custom widgets in particular already have
api facilities for this, we just need some kind of std
interface and kb handler to trigger it all
i'm thinking we might as well have a top level config file for users to choose and tweak a lot of optional/variable settings we starting to acquire.
Some options i can think of off-hand,
opinions welcome obvsly.
TODO:
watchfiles
by thepydantic
author:awatch
api: https://watchfiles.helpmanual.io/api/watch/#watchfiles.awatchalacritty
, namely dynamic config reloading on file writesctl +/-
to grow or shrink the font size and subsequently resize all UI widget sizes around the changes.