return kill(pid, sig);
};
+void wxDisplaySize( int *width, int *height )
+{
+ if (width) *width = gdk_screen_width();
+ if (height) *height = gdk_screen_height();
+}
+
//------------------------------------------------------------------------
// user and home routines
//------------------------------------------------------------------------
return wxExecute(argv, sync, process);
};
+