demos/20_texteditor.py
changeset 119 dd91747504dd
parent 118 8c7970520632