13 Dec
2023
13 Dec
'23
5:19 p.m.
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. Wolfgang