2017-11-05 21:52:14 -06:00
|
|
|
= attributed strings
|
|
|
|
attribute lengths are rounded to complete unicode codepoints
|
|
|
|
zero-length attributes are elided
|
|
|
|
consecutive attributes of the same type and value are merged
|
|
|
|
overlapping attributes of different types do not split each other
|
|
|
|
overlapping attributes of the same type but different values do split
|
|
|
|
empty string is allowed
|
|
|
|
empty string cannot have attributes
|
2017-11-06 22:58:12 -06:00
|
|
|
font family names are case-insensitive both in attributes and in descriptors
|