Applied-Software/ghostty
5
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-07-15 00:06:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #975 from gpanders/cursor-pointer

Browse Source 
Preserve cursor shape when over a link
This commit is contained in:
Mitchell Hashimoto
2023-12-01 08:35:44 -08:00
committed by GitHub
parent 3919530a09 b448501bf4
commit 9a4d69b61f
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Surface.zig
View File

@ -1252,7 +1252,11 @@ pub fn keyCallback(
event.physical_key == .right_shift) event.physical_key == .right_shift)
{ {
switch (event.action) { switch (event.action) {
.press => try self.rt_surface.setMouseShape(.text), .press => if (!self.mouse.over_link) {
// If the cursor is over a link then the pointer shape takes
// priority
try self.rt_surface.setMouseShape(.text);
},
.release => try self.rt_surface.setMouseShape(self.io.terminal.mouse_shape), .release => try self.rt_surface.setMouseShape(self.io.terminal.mouse_shape),
.repeat => {}, .repeat => {},
} }