From 489b10fe3247a75665df517d4b76a9a335dbfe6f Mon Sep 17 00:00:00 2001
From: mhuisi <mhuisi@protonmail.com>
Date: Wed, 27 May 2026 13:55:58 +0200
Subject: [PATCH] chore: add dev console logging

---
 vscode-lean4/src/extension.ts | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/vscode-lean4/src/extension.ts b/vscode-lean4/src/extension.ts
index bb4d3909..13a191e5 100644
--- a/vscode-lean4/src/extension.ts
+++ b/vscode-lean4/src/extension.ts
@@ -357,6 +357,15 @@ export async function activate(context: ExtensionContext): Promise<Exports> {
         commands.registerCommand('lean4.redisplaySetupError', async () => displayActiveStickyNotification()),
     )
     registerLeanCommandRunner(context)
+    workspace.onDidOpenTextDocument(doc => {
+        console.log(`Document opened (isLeanDoc: ${isLeanDocument(doc)}): ${doc.uri.toString()} with language ${doc.languageId}`)
+    })
+    workspace.onDidCloseTextDocument(doc => {
+        console.log(`Document closed: ${doc.uri.toString()}`)
+    })
+    window.onDidChangeVisibleTextEditors(editors => {
+        console.log(`Visible editors changed. Currently visible editors: ${editors.map(ed => ed.document.uri.toString())}`)
+    })
 
     const alwaysEnabledFeatures: AlwaysEnabledFeatures = await displayInternalErrorsIn(
         'activating Lean 4 extension',