diff options
| author | Aleksey Kladov <[email protected]> | 2021-06-14 13:43:59 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2021-06-14 13:43:59 +0100 |
| commit | e696188672be804889f012e19b1c799cc59adee2 (patch) | |
| tree | c7eb9b10b0122c5a39a66b2c044743d8d067218c /editors | |
| parent | a274ae384e38be5ad1b23cd2b7f2120e5a284209 (diff) | |
fix: don't use display-related functionality where semantics matters
NavigationTarget is strictly a UI-level thing -- it describes where the
cursor should be placed when the user presses goto definition. It
doesn't make any semantic guaratees about rage and focus range and, as
such, is not suitable for driving renames.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions