Matthias Bussonnier ab7f747635 Change event in codemirror also have a origin field ... It can take different value depending on where it comes from and gover history merging, various values are `+move` `+insert` `+remove` `setValue`.		2015-07-20 21:15:44 -07:00
..
codemirror-tests.ts	added typings for codemirror's lint addon	2015-06-25 14:47:45 -04:00
codemirror.d.ts	Change event in codemirror also have a origin field	2015-07-20 21:15:44 -07:00