Hi all,
Just a minor update to the JSON font encoding email I sent out
earlier. It didn't really make sense to support the JSON encoding for
arbitrary fonts, since they can be more efficiently represented using
the existing Font.decode() syntax. It also didn't make sense to use
the JSON encoding for Text shapes, because that would effectively tie
the shape's font to a theme, which was incorrect.
As a result, the JSON encoding is now supported only for overriding
properties of the base theme font ("size", "bold", and "italic").
Let me know if you have any questions.
Greg
