Skip to content

v0.0.185-pre

Pre-release
Pre-release
Compare
Choose a tag to compare
@github-actions github-actions released this 20 Nov 15:02
  • 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)