Bladeren bron

Feature: Introduced `view.Range#getEnlarged()`, `view.Range#getTrimmed()`, `view.Position#getLastMatchingPosition()`, `model.Position#getLastMatchingPosition()`, `view.TreeWalker#skip()`, `model.TreeWalker#skip()`. Closes #789.

Piotrek Koszuliński 9 jaren geleden
bovenliggende
commit
0f9a311ead

Diff gegevens niet beschikbaar.