On Mon, 22 May 2023 00:19:45 GMT, Thiago Milczarek Sayao <tsayao at 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