Skip to content

Add resize_events subscription to window module#2505

Merged
hecrj merged 1 commit into
masterfrom
window-resize-events
Jul 13, 2024
Merged

Add resize_events subscription to window module#2505
hecrj merged 1 commit into
masterfrom
window-resize-events

Conversation

@hecrj

@hecrj hecrj commented Jul 13, 2024

Copy link
Copy Markdown
Member

Also use f32 for the new sizes and positions of a window, since they are logical coordinates.

@hecrj hecrj added this to the 0.13 milestone Jul 13, 2024
@hecrj hecrj enabled auto-merge July 13, 2024 10:54
@hecrj hecrj merged commit a3d9cf2 into master Jul 13, 2024
@hecrj hecrj deleted the window-resize-events branch July 13, 2024 11:01
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.

1 participant