marijnh/CodeMirror2 — pull request #462 by jankeromnes (2012-03-21 21:01:19+00:00)
Title: [properties mode] added support for .INI files

- `.properties` and `.INI` files are very similar configuration file formats, I simply added support for comments starting with `;` and for `[sections]`.
- I also added support for other themes by using standard keywords instead of styling with a custom CSS file.
- Bonus: I removed a duplicate line in the xmlpure mode.