chiark / gitweb /
Move text size into TextOptions, so dice now support setting text size
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 19 May 2022 11:42:22 +0000 (12:42 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 19 May 2022 18:57:56 +0000 (19:57 +0100)
commit6dc8755270eff32d2885123b8e2ecebf3f2cae6c
tree15eecc7e20f02e958dd31b2c1ca8c68d39cd3903
parent997612ee3ea6f16bb1a4e12dbb2d8cbb846e00ce
Move text size into TextOptions, so dice now support setting text size

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dice/overlay-template-extractor
docs/gamespec.rst
src/dice.rs
src/spec.rs
src/ui.rs