toasted-nutbread 5752b23a8e
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"
2020-05-10 14:06:25 -04:00
..
2020-05-06 19:34:32 -04:00
2020-05-06 19:27:21 -04:00
2020-05-06 19:27:21 -04:00
2020-04-18 23:28:00 +03:00
2020-05-08 19:10:06 -04:00
2020-05-08 19:10:06 -04:00
2020-05-10 14:06:25 -04:00