summaryrefslogtreecommitdiff
path: root/src/ide/jump.rs
AgeCommit message (Expand)Author
2023-05-03Make ligatures copyable and searchableLaurenz
2023-03-21Fix crash for jump to outdated spanLaurenz
2023-03-19Renaming and refactoringLaurenz
2023-03-17CountersLaurenz
2023-03-17More jump targetsLaurenz
2023-03-15Node linksLaurenz
2023-03-12Consider glyph side when determining cursor positionLaurenz
2023-03-12Jump to destinationLaurenz
2023-03-11Jump to source and previewLaurenz