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
//------------------------------------------------------------------------
} wxEndProcessData;
static void GTK_EndProcessDetector(gpointer data, gint source,
- GdkInputCondition condition)
+ GdkInputCondition WXUNUSED(condition) )
{
wxEndProcessData *proc_data = (wxEndProcessData *)data;
int pid;
return wxExecute(argv, sync, process);
};
+