added gettext() method to TextEdit.py; fixed string.atoi() to ignore leading zeros.
Attach a file by drag & drop or click to upload
