On Mon, 22 May 2023 00:19:45 GMT, Thiago Milczarek Sayao <tsa...@openjdk.org> wrote:
> This PR adds missing key mappings for dead keys and fixes "Alt Gr" for some > systems. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jfx/pull/1143
