TreeEdit - a text editor