// ----------------------------------------------------------------------------
// private functions
// ----------------------------------------------------------------------------
-static void wxProcessTimer(wxTimer& timer)
+void wxProcessTimer(wxTimer& timer)
{
// Avoid to process spurious timer events
if ( timer.id == 0)