Gitea PR Usage Lens

Hover over a name in a Gitea pull request diff to see where it's defined and where it's used. Results are split into three groups: definitions, usages in this PR, and usages in the rest of the repository. Click a usage in the PR to jump to that line. Usages outside the PR open at the base commit in a new tab. Setup: 1. Add your Gitea URL in the extension settings. 2. In Gitea, go to Settings > Applications, create a token with "repository: Read", and paste it in. 3. Open a PR, go to "Files changed", and hover over a name. The repository source is downloaded once and cached in your browser. After that, only changed files are fetched. Requests go only to the Gitea sites you add. Search is text-based, so names that happen to match also show up. Tested with Gitea 1.22. This is an unofficial extension. It isn't affiliated with the Gitea project.