From 3b0e1a6b5ad8be69f684114b834b84f2ebef7b3c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sat, 17 Feb 2024 00:35:39 +0100
Subject: [PATCH] main: Remove timestamp parameter from popModal()

It has been unused since the move to Clutter.grab() in commit
f4cae72d17af.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3195>
---
 js/ui/main.js | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/js/ui/main.js b/js/ui/main.js
index a856c5695..cfb6d8735 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -714,17 +714,9 @@ export function pushModal(actor, params = {}) {
  * the topmost invocation, then the focus will be restored to the
  * previous focus at the time when pushModal() was invoked.
  *
- * `timestamp` is optionally used to associate the call with a specific user
- * initiated event. If not provided then the value of
- * global.get_current_time() is assumed.
- *
  * @param {Clutter.Grab} grab - the grab given by pushModal()
- * @param {number=} timestamp - optional timestamp
  */
-export function popModal(grab, timestamp) {
-    if (timestamp === undefined)
-        timestamp = global.get_current_time();
-
+export function popModal(grab) {
     let focusIndex = _findModal(grab);
     if (focusIndex < 0) {
         global.stage.set_key_focus(null);