This uncovered the fact that until now delta.range had not always been a Range object. This inconsistency has been resolved by my changes in mirror.js. |
||
|---|---|---|
| .. | ||
| ace | ||
This uncovered the fact that until now delta.range had not always been a Range object. This inconsistency has been resolved by my changes in mirror.js. |
||
|---|---|---|
| .. | ||
| ace | ||