Remove our internal time event tracking and use GDK_CURRENT_TIME instead

(Old svn revision: 11738)

1 files changed, 0 insertions, 46 deletions

diff --git a/src/misc.c b/src/misc.c
index 02d65085c..9bb0f50e4 100644
--- a/src/misc.c
+++ b/src/misc.c
@@ -221,49 +221,3 @@ placeSidewalks(gboolean activate)
                           1, MyDisplayFullHeight (dpy, screen));
     }
 }
-
-Time
-stashEventTime (Time prevEventTime, XEvent * ev)
-{
-    Time newEventTime = CurrentTime;
-    Time lastEventTime = prevEventTime;
-
-    switch (ev->type)
-    {
-        case KeyPress:
-        case KeyRelease:
-            newEventTime = ev->xkey.time;
-            break;
-        case ButtonPress:
-        case ButtonRelease:
-            newEventTime = ev->xbutton.time;
-            break;
-        case MotionNotify:
-            newEventTime = ev->xmotion.time;
-            break;
-        case EnterNotify:
-        case LeaveNotify:
-            newEventTime = ev->xcrossing.time;
-            break;
-        case PropertyNotify:
-            newEventTime = ev->xproperty.time;
-            break;
-        case SelectionClear:
-            newEventTime = ev->xselectionclear.time;
-            break;
-        case SelectionRequest:
-            newEventTime = ev->xselectionrequest.time;
-            break;
-        case SelectionNotify:
-            newEventTime = ev->xselection.time;
-            break;
-        default:
-            break;
-    }
-    if ((newEventTime > CurrentTime) || ((CurrentTime - newEventTime) > 30000))
-    {
-        lastEventTime = newEventTime;
-    }
-    return lastEventTime;
-}
-