marijnh/CodeMirror — pull request #1679 by ParisK (2013-07-15 17:58:33+00:00)
Title: Fixed Fold Marker click not changing folding gutter marker status.

Fix for the issue I reported.