void wxDisplaySize(int *width, int *height)
 {
     // TODO
+    if(width)
+        *width = 1024;
+    if(height)
+        *height = 768;
 }
 
 void wxDisplaySizeMM(int*,int*)
         *height=768;
 }
 
-int wxGUIAppTraits::GetOSVersion(int *verMaj, int *verMin)
+wxToolkitInfo& wxGUIAppTraits::GetToolkitInfo()
 {
-    if(verMaj)
-        *verMaj=0;
-    if(verMin)
-        *verMin=0;
-    return 0;
+    static wxToolkitInfo info;
+    info.shortName = _T("cocoa");
+    info.name = _T("wxCocoa");
+    // TODO: Finish this
+    return info;
 }
 
 // Return TRUE if we have a colour display