A real-time text editor with syntax highlighting