A Simple text editor based on Scintilla