wxNavigationKeyEvent(3erl) on Linux

The text 8a03e5a1904c, as Debian 11 (Bullseye) shipped it.

See external documentation: wxNavigationKeyEvent.

wxNavigationKeyEvent(3erl) on Linux now