|
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/
|