A lightweight text editor with many modern functions