[gnome-text-editor] animation: remove dead code

[Christian Hergert <chergert src gnome org>]

commit 71ad1283130a256420e0ea549647a6aff6d6519f
Author: Christian Hergert <chergert redhat com>
Date:   Tue Mar 29 03:51:17 2022 -0700

    animation: remove dead code

 src/editor-animation.c | 13 -------------
 1 file changed, 13 deletions(-)
---
diff --git a/src/editor-animation.c b/src/editor-animation.c
index 10207fc..ddc4b7c 100644
--- a/src/editor-animation.c
+++ b/src/editor-animation.c
@@ -481,19 +481,6 @@ editor_animation_tick (EditorAnimation *animation,
    */
   g_signal_emit (animation, signals[TICK], 0);
 
-  /*
-   * Flush any outstanding events to the graphics server (in the case of X).
-   */
-#if !GTK_CHECK_VERSION (3, 13, 0)
-  if (GTK_IS_WIDGET (animation->target))
-    {
-      GdkWindow *window;
-
-      if ((window = gtk_widget_get_window (GTK_WIDGET (animation->target))))
-        gdk_window_flush (window);
-    }
-#endif
-
   animation->last_offset = offset;
 
   return offset < 1.0;