Trace nodes automatically close while file is still elaborating

[TwoFX]

Description

While a file is still elaborating, expanded trace nodes in the info view are automatically closed.

Steps to Reproduce

See video. The file I used is available here.

Expected behavior: Trace nodes should stay open.

Actual behavior: Trace nodes keep closing.

Versions

Operating system: Linux (release: 6.12.9-200.fc41.x86_64)
CPU architecture: x64
CPU model: 16 x AMD Ryzen 9 PRO 7940HS w/ Radeon 780M Graphics
Available RAM: 65.97 GB

VS Code version: Reasonably up-to-date (version: 1.93.1)
Lean 4 extension version: 0.0.191
Curl installed: true
Git installed: true
Elan: Reasonably up-to-date (version: 3.1.1)
Lean: Reasonably up-to-date (version: 4.15.0)
Project: Valid Lean project (path: /home/markus/code/trace node issue)

---

Elan toolchains:

installed toolchains
--------------------

stable (default)
lean4
lean4-stage0
leanprover/lean4-pr-releases:pr-release-6261
leanprover/lean4:stable
leanprover/lean4:v4.12.0-rc1
leanprover/lean4:v4.16.0-rc2

active toolchain
----------------

leanprover/lean4:stable (overridden by '/home/markus/code/trace node issue/lean-toolchain')

Lean (version 4.15.0, x86_64-unknown-linux-gnu, commit 11651562caae, Release)

Impact

Add 👍 to issues you consider important. If others are impacted by this issue, please ask them to add 👍 to it.