Pietro Gagliardi
|
4b7ca92ce7
|
Decided what to do about attributes.
|
2017-12-09 23:47:50 -05:00 |
|
Pietro Gagliardi
|
bad2325323
|
More attributed string API work. Of note, decided to make each type of attribute have its own field in uiAttributeSpec, to make thinking about what to do next easier (and because why not).
|
2017-11-06 23:58:35 -05:00 |
|
Pietro Gagliardi
|
e33879a283
|
Okay, I need to rethink these APIs. Let's start doing so. Then I should also write a testsuite for uiAttributedString.
|
2017-11-05 22:52:14 -05:00 |