diff gui/wm/ws.h @ 35636:840e473ba4c0

Restore GUI's X error handler after gtk_init(). GDK sets its own handler.
author ib
date Thu, 10 Jan 2013 15:40:43 +0000
parents 07ecd8abd362
children 58d55c933757
line wrap: on
line diff
--- a/gui/wm/ws.h	Thu Jan 10 15:24:39 2013 +0000
+++ b/gui/wm/ws.h	Thu Jan 10 15:40:43 2013 +0000
@@ -214,6 +214,7 @@
 
 void wsXDone(void);
 void wsXInit(Display *display);
+void wsSetErrorHandler(void);
 
 int wsGetDepthOnScreen(void);