Changed clipboard text format id from "STRING" to "TEXT"

[wxWidgets.git] / include / wx / gtk1 / window.h

diff --git a/include/wx/gtk1/window.h b/include/wx/gtk1/window.h
index fb1b13938b9888ebc7fa44d814f3d0db5e11ae60..e63d825e613d4c4db9cccdf361e5af99948d27c0 100644 (file)
--- a/include/wx/gtk1/window.h
+++ b/include/wx/gtk1/window.h
@@ -30,7 +30,7 @@
 //-----------------------------------------------------------------------------
 
 extern const char *wxFrameNameStr;
-extern wxList wxTopLevelWindows;
+extern wxWindowList wxTopLevelWindows;
 
 //-----------------------------------------------------------------------------
 // global function
@@ -420,6 +420,9 @@ public:
 
     virtual void OnInternalIdle();
 
+    // For compatibility across platforms (not in event table)
+    void OnIdle(wxIdleEvent& WXUNUSED(event)) {};
+
     /* used by all classes in the widget creation process */
 
     void PreCreation( wxWindow *parent, wxWindowID id, const wxPoint &pos,