diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-05-10 14:06:25 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-10 14:06:25 -0400 |
commit | 5752b23a8e802d556851eff8f6ea60785f93e0b3 (patch) | |
tree | 1a9159ea424a86e8e35fc1866ecbc5c7d5e43745 /ext/bg/search.html | |
parent | 6eafdac362e7deace6a5c89dd9edc9e50003b374 (diff) |
Text source refactor (#527)
* Update TextSourceElement API to have parity with TextSourceRange
* Make fields private
* Update equality check
* Fix "this.element" being used instead of just "element"
Diffstat (limited to 'ext/bg/search.html')
0 files changed, 0 insertions, 0 deletions