diff options
| author | Bradley Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-09-07 10:14:48 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-07 10:14:48 -0400 |
| commit | ee54f11d5c08ce7b2000fb0e4a3f60b4b9aeeae6 (patch) | |
| tree | 552de506cf14162c64cb11012b3656322d188dca /src/server/when.odin | |
| parent | eb07da8a11477a08b5596b2537e3aaa656188f73 (diff) | |
| parent | 3bf249dc5d684995c9dcbd6045dd0b68595b4b0d (diff) | |
Merge pull request #977 from BradLewis/fix/hover-cast
Only show cast hover info if hovering over the `cast` keyword
Diffstat (limited to 'src/server/when.odin')
0 files changed, 0 insertions, 0 deletions