From 93a2e7bdba9f39f8a191e6d2c196de23ed01e9da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Mon, 10 Jul 2023 06:51:45 +0200
Subject: [PATCH] extensions: Stop using global.log()

It has been deprecated since 3.6(!) in favor of the actually
global log().

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/264>
---
 extensions/user-theme/extension.js       | 4 ++--
 extensions/windowsNavigator/extension.js | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js
index d0f8664d..25f5a876 100644
--- a/extensions/user-theme/extension.js
+++ b/extensions/user-theme/extension.js
@@ -43,9 +43,9 @@ export default class ThemeManager {
         }
 
         if (stylesheet)
-            global.log(`loading user theme: ${stylesheet}`);
+            log(`loading user theme: ${stylesheet}`);
         else
-            global.log('loading default theme (Adwaita)');
+            log('loading default theme (Adwaita)');
         Main.setThemeStylesheet(stylesheet);
         Main.loadTheme();
     }
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index 83b933ff..f094a158 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -212,7 +212,7 @@ class MyWorkspacesView extends WorkspacesView.WorkspacesView {
                 c = o.get_key_symbol() - Clutter.KEY_0;
                 if (c > 9 || c <= 0) {
                     this._hideTooltips();
-                    global.log(c);
+                    log(c);
                     return false;
                 }
             }