The text 8019548edd85, as Debian 7 (Wheezy) shipped it.
Convenience methods for working with Wx timers
Padre::Wx::Role::Timer(3pm) on Linux now
