created: 20160107223435497 list: modified: 20160107223725809 tags: [[Plugin Editions]] title: CodeMirror Plugin type: text/vnd.tiddlywiki The CodeMirror plugin adds a sophisticated web-based editor to TiddlyWiki. See http://tiddlywiki.com/plugins/tiddlywiki/codemirror/