5 commits

Author	SHA1	Message	Date
Joscha	3a542caac7	Alias AttributedText to AT	2019-06-08 09:10:59 +00:00
Joscha	7c89ada5f0	Reorganize files	2019-06-08 09:10:59 +00:00
Joscha	2e56b1b925	Satisfy mypy and (re-)move files	2019-06-08 09:10:59 +00:00
Joscha	2eb26c5532	Rename and add attribute setting/getting	2019-06-08 09:10:59 +00:00
Joscha	96f29a49cf	Add class representing text with attributes ... Attributes can be set and deleted on sections of a MarkedUp object. Chunk attributes work like dicts (name + arbitrary value). This can be used to set color info or attach a link/URL to parts of a string, for example.	2019-06-08 09:10:59 +00:00