if (height) *height = gdk_screen_height();
}
+void wxGetMousePosition( int* x, int* y )
+{
+ wxFAIL_MSG( "GetMousePosition not yet implemented" );
+ if (x) *x = 0;
+ if (y) *y = 0;
+};
+
+bool wxColourDisplay(void)
+{
+ wxFAIL_MSG( "wxColourDisplay always returns TRUE" );
+ return TRUE;
+}
+
+int wxDisplayDepth(void)
+{
+ wxFAIL_MSG( "wxDisplayDepth always returns 8" );
+ return 8;
+}
+
//------------------------------------------------------------------------
// user and home routines
//------------------------------------------------------------------------
pid = (proc_data->pid > 0) ? proc_data->pid : -(proc_data->pid);
+ /* wait4 is not standard, use at own risk */
+#if !defined(__sgi)
wait4(proc_data->pid, NULL, 0, NULL);
+#else
+ wait3(NULL, 0, NULL);
+#endif
close(source);
gdk_input_remove(proc_data->tag);