Terminedia

Minor updates - mostly docstrings and a bug fix on exporting text to files, new "double_struck" Unicode effect, and new properties allowing one to disable a widget.ScreenMenu - this feature is needed by terminedia-paint new "typing tool" functionality.

Hundreds of new features, including text styling using a markup system, mouse events, an incipient widget system, unicode 13 sextant character block (1/6 block) resolution, full-color 1/2 block resolution, and more... (check DONE.txt and git log)
[terminedia-0.4.1.tar.gz](https://github.com/jsbueno/terminedia/files/6873381/terminedia-0.4.1.tar.gz)
Pending: documentation.