feat: [lean4web] abstract the implementation of infoview as a webview

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

158 stars 48 forks source link

feat: [lean4web] abstract the implementation of infoview as a webview #495

Open abentkamp opened 2 months ago

abentkamp commented 2 months ago

This is a pure refactoring. The behavior of the code has not changed. But this setup allows us to inject an iframe infoview implementation instead of the webview implementation.