Skip to content

Add support for escape key to dismiss settings menu#3225

Merged
jamadeo merged 1 commit intoblock:mainfrom
danielcorin:dc/esc-settings-support
Jul 3, 2025
Merged

Add support for escape key to dismiss settings menu#3225
jamadeo merged 1 commit intoblock:mainfrom
danielcorin:dc/esc-settings-support

Commits

Commits on Jul 2, 2025