chiark / gitweb /
22b: move padding into Main and pad much more
authorBen Harris <bjh21@bjh21.me.uk>
Tue, 4 Jun 2024 13:41:34 +0000 (14:41 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Tue, 4 Jun 2024 13:41:34 +0000 (14:41 +0100)
commit185895f833afb7d9562c50cb569add65a92226f9
tree2eb46ddde5ab6205066dd5050944c44f4b237285
parent06d792147fb940dd1c66d0cf25140e92cbafd46e
22b: move padding into Main and pad much more

I'm going to want a whole face's worth of padding all round, and at the
moment only Main knows how big the faces are.
22/22b.bqn