The text f7cee9b1a540, as Debian 9 (Stretch) shipped it.
See external documentation: wxStyledTextEvent.
wxStyledTextEvent(3erl) on Linux now
