This patch adds a check in event_callback () to check whether the window is override-redirect or not, and avoids unnecessarily calling meta_window_set_user_time () if it is. https://bugzilla.gnome.org/show_bug.cgi?id=606158