Skip to content

Conversation

@dkocher
Copy link
Contributor

@dkocher dkocher commented Nov 19, 2025

Fix #17663.

@dkocher dkocher added this to the 9.3 milestone Nov 19, 2025
@dkocher dkocher requested a review from a team as a code owner November 19, 2025 16:40
@dkocher dkocher enabled auto-merge November 19, 2025 16:40
@dkocher dkocher added the interface User Interface label Nov 19, 2025
@dkocher dkocher merged commit 2aefd73 into master Nov 21, 2025
5 checks passed
@dkocher dkocher deleted the feature/GH-17663 branch November 21, 2025 06:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

interface User Interface

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Use system icons in menu items and toolbar

3 participants