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