marijnh/CodeMirror2 — pull request #341 by atul-bhouraskar (2012-01-31 06:09:48+00:00)
Title: Highlight multi-digit ordered lists in markdown

The current markdown.js file only highlights ordered lists that have a single digit. This small change highlights multiple digit numbers correctly.