Padre::Wx::Role::Timer(3pm) on Linux

The text 232117e42233, as Debian 8 (Jessie) shipped it. The page shows this text now.

Convenience methods for working with Wx timers