Heatmap disappears when refocusing tab

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

GNU Lesser General Public License v2.1

143 stars 31 forks source link

Heatmap disappears when refocusing tab #805

Open Alizter opened 2 months ago

Alizter commented 2 months ago

Enable the heatmap for coq-lsp and then open a file. You will see the heatmap working correctly. Now switch focus to another tab and switch back. The heatmap disappears. It can be seen again by reopening the tab.