A source code editor