A live DOT editor.