Fernando Perez ef1cc56996 Merge pull request #1327 from ellisonbg/updatecm2 ... Updating CodeMirror to the latest dev master. We had found a bug in CodeMirror that was forcing us to call refresh/focus/refresh on Firefox. This bug was fixed upstream. This PR pull in the latest CM with the bug fix and removes the extra refresh calls. All known CM bugs should be fixed, yeh!		2012-01-25 22:16:13 -08:00
..
notebook	Merge pull request #1327 from ellisonbg/updatecm2	2012-01-25 22:16:13 -08:00