marijnh/CodeMirror2 — pull request #389 by nlwillia (2012-02-24 16:24:24+00:00)
Title: I noticed a few issues with the compression helper page.  Here's a patch.

- Increase size of select box to make multiple-selection more friendly.
- Fix mislabeling of ecl.js as "diff.js".
- Add missing xmlpure.js.
- Fix mislabeling of foldcode.js as "codefold.js".
- Add missing searchcursor.js, formatting.js and match-highlighter.js.
- Add missing vim.js.
- Fix URL parsing bug that was preventing option URLs from being updated if the version was changed more than once.