ref: cdd24fd459d15b8a00498b284d00c202cf872022
parent: 425942c852f22d7d94f7643696522d32c0b02067
author: Ben Harris <bjh21@bjh21.me.uk>
date: Sat Dec 17 17:50:52 EST 2022
Expose colour_mix() to backends (and others) Quite a few backends currently generate colours by multiplying the foreground colour by a fraction, effectively mixing it with black. On a black background, this might be reasonably replaced by mixing the background colour with white, but that's rather arithmetically fiddly. Happily, I already have a function for that and just need to expose it.