# HG changeset patch
# User ib
# Date 1365165791 0
# Node ID 506cefd8a5f0b782d78868c862698f924a719a42
# Parent  989b5d9557037d6597140cb30af23ab6273077f0
Make comment a doxygen comment.

Additionally, remove commented code.

diff -r 989b5d955703 -r 506cefd8a5f0 gui/wm/ws.c
--- a/gui/wm/ws.c	Fri Apr 05 12:41:49 2013 +0000
+++ b/gui/wm/ws.c	Fri Apr 05 12:43:11 2013 +0000
@@ -605,13 +605,15 @@
     XSync(wsDisplay, False);
 }
 
+/**
+ * @brief Process all pending events.
+ */
 void wsEvents(void)
 {
     XEvent xev;
-    /* handle pending events */
+
     while (XPending(wsDisplay)) {
         XNextEvent(wsDisplay, &xev);
-//   printf("### X event: %d  [%d]\n",xev.type,delay);
         wsEvent(&xev);
     }
 }