From 6ba32dff817db21353ad311e07e9689c604273fb Mon Sep 17 00:00:00 2001
From: Simon Schneegans <code@simonschneegans.de>
Date: Sun, 26 Feb 2023 21:01:30 +0100
Subject: [PATCH] :memo: Update links

---
 extension.js | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/extension.js b/extension.js
index 671289b..54e9c08 100644
--- a/extension.js
+++ b/extension.js
@@ -149,7 +149,7 @@ class Extension {
 
     // If a window is created the transitions are set up in the async _mapWindow of the
     // WindowManager:
-    // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/windowManager.js#L1452
+    // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/windowManager.js#L1478
     // AFAIK, overriding this method is not possible as it's called by a signal to
     // which it is bound via the bind() method. To tweak the async transition
     // anyways, we override the actors ease() method once - the next time it will be
@@ -223,7 +223,7 @@ class Extension {
       // but not _doRemoveWindow. The latter is required to trigger the repositioning of
       // the overview window layout. Therefore we call this method in addition.
       // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/gnome-3-36/js/ui/workspace.js#L1877
-      // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/workspace.js#L1405
+      // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/workspace.js#L1363
       if (utils.shellVersionIs(3, 36)) {
         clone.connect('destroy', () => this._doRemoveWindow(clone.metaWindow));
       }
@@ -260,7 +260,7 @@ class Extension {
     // window-hiding in the overview until the effect is finished.
 
     // The close animation is set up in WindowManager's _destroyWindow:
-    // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/windowManager.js#L1541
+    // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/windowManager.js#L1554
     // As we cannot monkey-patch the _destroyWindow itself, we connect to the 'destroy'
     // signal of the window manager and tweak the animation to our needs.
     this._destroyConnection = global.window_manager.connect('destroy', (wm, actor) => {
@@ -270,7 +270,7 @@ class Extension {
     // Once the window-close animation is is finished, the window manager's
     // _destroyWindowDone is called. We use this to free the effect so that it can be
     // re-used in future.
-    // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/windowManager.js#L1541
+    // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/windowManager.js#L1564
     WindowManager.prototype._destroyWindowDone = function(shellwm, actor) {
       if (this._destroying.has(actor)) {
         const shader = actor.get_effect('burn-my-windows-effect');
@@ -292,14 +292,14 @@ class Extension {
     // the case, these methods do nothing. Are the actors removed in the end? I hope so.
     // The _destroyWindow of the WindowManager sets the transitions up and should take
     // care of removing the actors at the end of the transitions.
-    // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/workspace.js#L1301
+    // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/workspace.js#L1258
     Workspace.prototype._windowRemoved = function(ws, metaWin) {
       if (extensionThis._shouldDestroy(this, metaWin)) {
         extensionThis._origWindowRemoved.apply(this, [ws, metaWin]);
       }
     };
 
-    // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/workspace.js#L1180
+    // https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/workspace.js#L1137
     Workspace.prototype._doRemoveWindow = function(metaWin) {
       if (extensionThis._shouldDestroy(this, metaWin)) {
         extensionThis._origDoRemoveWindow.apply(this, [metaWin]);