Gregory Anders b448501bf4 Preserve cursor shape when over a link
If mouse events are active and the cursor is hovered over a link,
pressing Shift does not change the cursor to a pointer, but to the text
selection shape, until the cursor is moved again. The pointer shape
should have higher priority over the text selection shape when the
cursor is hovered over a pointer.
2023-12-01 10:06:27 -06:00
..
2023-10-24 15:02:26 -07:00
2023-11-30 22:04:34 +01:00
2023-11-30 21:41:33 +01:00
2023-11-30 21:41:33 +01:00
2023-11-29 15:30:23 -08:00
2023-11-30 12:35:52 -08:00
2023-11-30 21:41:33 +01:00
2023-06-30 12:15:31 -07:00
2023-09-23 22:46:16 -07:00
2023-11-30 21:41:33 +01:00
2023-11-29 15:30:21 -08:00
2023-11-30 21:58:14 +01:00
2023-11-29 15:30:22 -08:00
2023-09-20 12:35:52 -07:00
2023-11-29 15:30:21 -08:00
2022-08-18 11:42:32 -07:00
2023-11-30 21:40:01 +01:00
2023-11-17 21:50:35 -08:00
2023-08-08 14:27:34 +02:00