GUI based text editor in python