-
Notifications
You must be signed in to change notification settings - Fork 17
Open
Description
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,
[allocation.default]
size_units = 'currency'
limit = 5e3
slots = 4
[allocation.options]
size_units = 'units'
limit = 10
slots = 1
[allocation.peeneez]
size_units = 'percent_of_port'
limit = 20
slots = 6
[style]
colorscheme = 'default'
[tractor]
port = 6116
[ui]
update_throttle = 60 # Hzopinions welcome obvsly.
TODO:
- support write-triggers-UI-update
- probably we can use
watchfilesby thepydanticauthor:- https://github.com/samuelcolvin/watchfiles
- most notable is the
awatchapi: https://watchfiles.helpmanual.io/api/watch/#watchfiles.awatch - should get similar functionality as from
alacritty, namely dynamic config reloading on file writes - for font size auto-scaling, we need to handle DPI changes
when a window gets moved to a diff display:
https://github.com/pikers/piker/pull/523/files#r1237362101
- probably we can use
- font size and style settings
- added in get font style from main config #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
- note many of our custom widgets in particular already have
- added in get font style from main config #523 which apparently makes it all work on windows as