On Mon, 22 May 2023 00:19:45 GMT, Thiago Milczarek Sayao <[email protected]> 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
