On Tue, 9 Sep 2025 10:35:18 GMT, Alexey Ivanov <aiva...@openjdk.org> wrote:
> On the main Keyboard settings screen, there's an option Alternate Characters > Key, it's set to Layout default in my settings. Is this the option to change? Yes, I modified the instruction <img width="1920" height="1080" alt="keyboard-shortcut" src="https://github.com/user-attachments/assets/556e4e3b-498a-4112-a135-337b31a49af0"; /> ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/27162#discussion_r2333197419
