diff options
author | Aleš Smodiš <aless@guru.si> | 2015-09-18 13:25:57 +0200 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-09-18 13:25:57 +0200 |
commit | 99bad1571ed306678d9b0416bf87f37f5f882058 (patch) | |
tree | 94b38f6ee3012f17859330f431bbab4eab74fb22 /js/codemirror/panel.js | |
parent | 0b7d370286ba2d0a7d35c1b9180425b6212b10f8 (diff) |
Bugfix: join the array of removed character into a string, when the user makes a deletion, and it needs to be recorded in activity.
Diffstat (limited to 'js/codemirror/panel.js')
0 files changed, 0 insertions, 0 deletions