A personalised code editor.