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.