The text e20d7bed3a4b, as Debian 7 (Wheezy) shipped it.
See external documentation: wxNotebookEvent.
wxNotebookEvent(3erl) on Linux now
