- Make InfoView detachable into a separate window (#544)
- Turn activation errors into modal errors that remain sticky when closed (#547)
- Add a spinner to the InfoView to indicate that it is loading (#546)
- Rename the 'Fetch Mathlib Build Cache For Focused File' command to 'Fetch Mathlib Build Cache For Current Imports' so that it is more clear that it pulls the cache for all imports, too (#543)
- Add 'Restart File' button to 'Fetch Cache For Current Imports' notification since it covers the 'Restart File' button of the InfoView (#543)
- Replace the @vscode/webview-ui-toolkit library since it is being deprecated in January 2025 (#545)
- Fix a handler leak (#498, author: @abentkamp)
- Fix a bug where InfoView would not appear in locked tab group after restarting VS Code (#553)
- Add a command to display closed sticky notifications (#553)
Contributors
abentkamp