Text editor using the default Python GUI package