use Print Manager session APIs if PM_USE_SESSION_APIS is true

[wxWidgets.git] / src / gtk / timer.cpp

diff --git a/src/gtk/timer.cpp b/src/gtk/timer.cpp
index 175c92aa12168af15f1b170d51d12b7eeef18c67..ab9e36893186bdcc635daa4600362efe117ef3be 100644 (file)
--- a/src/gtk/timer.cpp
+++ b/src/gtk/timer.cpp
@@ -1,5 +1,5 @@
 /////////////////////////////////////////////////////////////////////////////
-// Name:        timer.cpp
+// Name:        gtk/timer.cpp
 // Purpose:
 // Author:      Robert Roebling
 // Id:          $Id$
@@ -42,11 +42,10 @@ static gint timeout_callback( gpointer data )
     return TRUE;
 }
 
-wxTimer::wxTimer()
+void wxTimer::Init()
 {
     m_tag = -1;
     m_milli = 1000;
-    m_oneShot = FALSE;
 }
 
 wxTimer::~wxTimer()