Skip to content

PlacementWidget: cleanup#851

Merged
danirabbit merged 3 commits into
masterfrom
danirabbit/placementwidget-cleanup
Jul 23, 2025
Merged

PlacementWidget: cleanup#851
danirabbit merged 3 commits into
masterfrom
danirabbit/placementwidget-cleanup

Conversation

@danirabbit

Copy link
Copy Markdown
Member
  • Use modern code style
  • Remove unnecessary casts

@danirabbit
danirabbit requested a review from a team July 22, 2025 18:13
@danirabbit danirabbit moved this to Needs Review in GTK4 Porting Jul 22, 2025
@danirabbit
danirabbit enabled auto-merge (squash) July 23, 2025 16:31
@danirabbit
danirabbit merged commit eb1541d into master Jul 23, 2025
6 checks passed
@danirabbit
danirabbit deleted the danirabbit/placementwidget-cleanup branch July 23, 2025 16:39
@github-project-automation github-project-automation Bot moved this from Needs Review to Done in GTK4 Porting Jul 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants