JavaScript Stuff
jquery etc.
JQuery
CodeMirror Plugin
A simple plugin for JQuery (http://jquery.com) for the CodeMirror editor (http://codemirror.net). It adds JQuery methods to initialise (and start and stop) a CodeMirror editor in place of a existing textarea and resize it accordingly. This is part of the CodeMirror plugin I am trying to write for FosWiki (see foswiki).