diff options
| author | Robert Zorko <robertz@gurucue.com> | 2015-09-18 14:18:43 +0200 |
|---|---|---|
| committer | Robert Zorko <robertz@gurucue.com> | 2015-09-18 14:18:43 +0200 |
| commit | c3898354b2e78ba30b363ecfa5dc4829d1279a7f (patch) | |
| tree | 2c6d98732a70a1303555b24ea276da9c5e2cf5a6 /js/python.js | |
| parent | 2a797e8b59a8491d9b73b119de1092ca8b65555f (diff) | |
| parent | 99edd51f53b03a49e8c61f95eef0cd6f94e87c2b (diff) | |
Merge branch 'master' into stateMachine
Diffstat (limited to 'js/python.js')
| -rw-r--r-- | js/python.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/python.js b/js/python.js index d114b7e..fa4943b 100644 --- a/js/python.js +++ b/js/python.js @@ -109,7 +109,7 @@ pos = codeq.codePointCount(doc.getRange(firstCharacterPos, changeObj.from)); if (changeObj.removed) { - activityHandler.queueTrace({'typ': 'rm', 'off': pos, 'len': codeq.codePointCount(changeObj.removed)}); + activityHandler.queueTrace({'typ': 'rm', 'off': pos, 'len': codeq.codePointCount(changeObj.removed.join(''))}); } if (changeObj.text) { |