A cross platform text editor