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