/lively4-PX18-graph-drawing/src/external/code-mirror/addon/edit

• closebrackets.js
• closetag.js
• continuelist.js
• matchbrackets.js
• matchtags.js
• trailingspace.js