A cross-platform text editor.