mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
getSourcePosition() now is aligned with getHighlightRange() ^IDEA-315974 GitOrigin-RevId: 993115f83bd7efd8c16888b3a28395b7adf8f540
getSourcePosition() now is aligned with getHighlightRange() ^IDEA-315974 GitOrigin-RevId: 993115f83bd7efd8c16888b3a28395b7adf8f540