13 Dec
2023
13 Dec
'23
5:28 p.m.
Am 13.12.23 um 18:19 schrieb Wolfgang Schuster:
Fabrice Couvreur schrieb am 13.12.2023 um 19:03:
Hi, Is this a bug or not ? The key to coloring the background of the text seems to no longer work.
There is a problem with the corner option, you can either hope it gets fixed in the next release (corner=round still works) or create your own background as metapost graphic with rounded corners.
Oh, yes, here’s Hans’ fix. Hraban