plugin-based text editor