[gnome-shell/wip/carlosg/sync-pointer-in-mutter: 7/7] shell: Drop shell_global_sync_pointer()

[Carlos Garnacho <carlosg src gnome org>]

commit f787fb6ca8894451a5fd1538435b51ad74728fb0
Author: Carlos Garnacho <carlosg gnome org>
Date:   Fri Dec 18 15:30:04 2020 +0100

    shell: Drop shell_global_sync_pointer()
    
    This is now unused, and shouldn't be used anymore.

 src/shell-global.c | 41 -----------------------------------------
 src/shell-global.h |  2 --
 2 files changed, 43 deletions(-)
---
diff --git a/src/shell-global.c b/src/shell-global.c
index d115a6c333..027c9d6c45 100644
--- a/src/shell-global.c
+++ b/src/shell-global.c
@@ -1374,47 +1374,6 @@ shell_global_get_pointer (ShellGlobal         *global,
   *mods = raw_mods & CLUTTER_MODIFIER_MASK;
 }
 
-/**
- * shell_global_sync_pointer:
- * @global: the #ShellGlobal
- *
- * Ensures that clutter is aware of the current pointer position,
- * causing enter and leave events to be emitted if the pointer moved
- * behind our back (ie, during a pointer grab).
- */
-void
-shell_global_sync_pointer (ShellGlobal *global)
-{
-  int x, y;
-  ClutterModifierType mods;
-  ClutterEvent *event;
-  ClutterSeat *seat;
-
-  shell_global_get_pointer (global, &x, &y, &mods);
-
-  seat = clutter_backend_get_default_seat (clutter_get_default_backend ());
-  event = clutter_event_new (CLUTTER_MOTION);
-
-  event->motion.time = shell_global_get_current_time (global);
-  event->motion.flags = CLUTTER_EVENT_FLAG_SYNTHETIC;
-  event->motion.stage = global->stage;
-  event->motion.x = x;
-  event->motion.y = y;
-  event->motion.modifier_state = mods;
-  event->motion.axes = NULL;
-  clutter_event_set_device (event, clutter_seat_get_pointer (seat));
-
-  /* Leaving event.source NULL will force clutter to look it up, which
-   * will generate enter/leave events as a side effect, if they are
-   * needed. We need a better way to do this though... see
-   * http://bugzilla.clutter-project.org/show_bug.cgi?id=2615.
-   */
-  clutter_event_set_source_device (event, NULL);
-
-  clutter_event_put (event);
-  clutter_event_free (event);
-}
-
 /**
  * shell_global_get_switcheroo_control:
  * @global: A #ShellGlobal
diff --git a/src/shell-global.h b/src/shell-global.h
index e1fa60aefb..60bda71313 100644
--- a/src/shell-global.h
+++ b/src/shell-global.h
@@ -64,8 +64,6 @@ void shell_global_run_at_leisure (ShellGlobal          *global,
 
 
 /* Misc utilities / Shell API */
-void     shell_global_sync_pointer              (ShellGlobal  *global);
-
 GDBusProxy *
          shell_global_get_switcheroo_control    (ShellGlobal  *global);