Skip to content

[v15] Support changing the mouse pointer#38614

Merged
probakowski merged 12 commits intobranch/v15from
bot/backport-37882-branch/v15
Feb 26, 2024
Merged

[v15] Support changing the mouse pointer#38614
probakowski merged 12 commits intobranch/v15from
bot/backport-37882-branch/v15

Conversation

@probakowski
Copy link
Copy Markdown
Contributor

Backport #37882 to branch/v15

changelog: Implemented dynamic mouse pointer updates to reflect context-specific actions, e.g. window resizing.

@probakowski probakowski added this pull request to the merge queue Feb 26, 2024
Merged via the queue into branch/v15 with commit 18caacd Feb 26, 2024
@probakowski probakowski deleted the bot/backport-37882-branch/v15 branch February 26, 2024 19:33
@camscale camscale mentioned this pull request Feb 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants