The text 1393ccf4a68d, as Debian 8 (Jessie) shipped it.
See external documentation: wxNavigationKeyEvent.
wxNavigationKeyEvent(3erl) on Linux now
