39 vscode extension better status bar information#48

Merged

Philipp15b merged 8 commits intomoves-rwth:mainfrom umutdural:39-vscode-extension-better-status-bar-information

Oct 25, 2024

+205-32

Commits on Jul 4, 2024

vscode-ext: status bar new states
umutdural
committed

Commits on Jul 10, 2024

Commits on Sep 9, 2024

Revert "lsp-server: fixed the clearing of the file-result map with every query"
umutdural
committed

Commits on Sep 12, 2024

vscode-ext: status bar working command links
umutdural
committed

Commits on Oct 9, 2024

lsp: only clear relevant file after verification request
umutdural
committed

Commits on Oct 23, 2024

vscode-ext: refactoring and more responsive status bar
umutdural
committed

Commits on Oct 24, 2024

vscode-ext: minor refactoring on status bar
umutdural
committed