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/prolog.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/prolog.js')
0 files changed, 0 insertions, 0 deletions