wxNavigationKeyEvent(3erl) on Linux

The text f8e2fa2dc040, as Debian 6.0 (Squeeze) shipped it.

See external documentation: wxNavigationKeyEvent.

wxNavigationKeyEvent(3erl) on Linux now