changeset 33463:47b5846b20b6

Don't pointlessly cast Display pointer.
author ib
date Fri, 03 Jun 2011 14:31:13 +0000
parents 09b7b05fadfa
children 2a25b5db0e7e
files gui/interface.c gui/wm/ws.c gui/wm/ws.h
diffstat 3 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/gui/interface.c	Fri Jun 03 14:26:56 2011 +0000
+++ b/gui/interface.c	Fri Jun 03 14:31:13 2011 +0000
@@ -193,7 +193,7 @@
     gtkInit();
 
     // initialize X
-    wsXInit((void *)mDisplay);
+    wsXInit(mDisplay);
 
     // load skin
 
--- a/gui/wm/ws.c	Fri Jun 03 14:26:56 2011 +0000
+++ b/gui/wm/ws.c	Fri Jun 03 14:31:13 2011 +0000
@@ -197,7 +197,7 @@
  return 0;
 }
 
-void wsXInit( void* mDisplay )
+void wsXInit( Display* mDisplay )
 {
  int    eventbase;
  int    errorbase;
--- a/gui/wm/ws.h	Fri Jun 03 14:26:56 2011 +0000
+++ b/gui/wm/ws.h	Fri Jun 03 14:31:13 2011 +0000
@@ -209,7 +209,7 @@
 extern unsigned long        wsKeyTable[512];
 
 void wsXDone( void );
-void wsXInit( void* disp );
+void wsXInit( Display* disp );
 
 int wsGetDepthOnScreen( void );