A simple desktop text editor based on CodeMirror