cvsextras 43e64ba
--- src/actions.c	Mon Aug 11 15:29:31 2003
cvsextras 43e64ba
+++ src/actions.c	Mon Aug 11 15:31:56 2003
cvsextras 43e64ba
@@ -144,6 +144,14 @@
cvsextras 43e64ba
       old_scr=scr;
cvsextras 43e64ba
     old_focused=old_scr->focused_window;
cvsextras 43e64ba
cvsextras 43e64ba
+    /*
cvsextras 43e64ba
+     * Safeguard: make sure the timestamp is monotonically increasing
cvsextras 43e64ba
+     * (very unlikely that this will be needed, still a safeguard)
cvsextras 43e64ba
+     */
cvsextras 43e64ba
+    if (timestamp <= LastFocusChange)
cvsextras 43e64ba
+	    timestamp = LastFocusChange + 1;
cvsextras 43e64ba
+
cvsextras 43e64ba
+
cvsextras 43e64ba
     LastFocusChange = timestamp;
cvsextras 43e64ba
cvsextras 43e64ba
 /*
cvsextras 43e64ba
@@ -150,8 +158,8 @@
cvsextras 43e64ba
  * This is a hack, because XSetInputFocus() should have a proper
cvsextras 43e64ba
  * timestamp instead of CurrentTime but it seems that some times
cvsextras 43e64ba
  * clients will not receive focus properly that way.
cvsextras 43e64ba
+ */
cvsextras 43e64ba
     if (ignoreTimestamp)
cvsextras 43e64ba
-*/
cvsextras 43e64ba
       timestamp = CurrentTime;
cvsextras 43e64ba
cvsextras 43e64ba
     if (old_focused)