# HG changeset patch
# User reimar
# Date 1087123986 0
# Node ID 39de828ec1cb31570038eab3567f704c0ca659ce
# Parent  e14b7c6e9d5497e9aafb59a4299c0fd7fb1a768f
detect screen resolution as in x11_common.c
Patch by Philippe Dumont (dumont (at) lifl (dot) fr)

diff -r e14b7c6e9d54 -r 39de828ec1cb Gui/wm/ws.c
--- a/Gui/wm/ws.c	Sat Jun 12 17:37:47 2004 +0000
+++ b/Gui/wm/ws.c	Sun Jun 13 10:53:06 2004 +0000
@@ -38,6 +38,10 @@
 #include <X11/extensions/Xinerama.h>
 #endif
 
+#ifdef HAVE_XF86VM
+#include <X11/extensions/xf86vmode.h>
+#endif
+
 #include <sys/ipc.h>
 #include <sys/shm.h>
 
@@ -249,9 +253,21 @@
   }
   else
 #endif
+#ifdef HAVE_XF86VM
+    {
+      int clock;
+      XF86VidModeModeLine modeline;
+
+      XF86VidModeGetModeLine( wsDisplay,wsScreen,&clock ,&modeline );
+      wsMaxX=modeline.hdisplay;
+      wsMaxY=modeline.vdisplay;
+    }
+#endif
  {
  wsOrgX = wsOrgY = 0;
+ if ( !wsMaxX )
  wsMaxX=DisplayWidth( wsDisplay,wsScreen );
+ if ( !wsMaxY )
  wsMaxY=DisplayHeight( wsDisplay,wsScreen );
  }