leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
169 stars 48 forks source link

feat: [lean4web] rewrite logger to be compatible with browser #494

Open abentkamp opened 4 months ago

abentkamp commented 4 months ago

The Console class does not seem to exist for the browser. This implementation of the logger behaves exactly like before for all logger.log and logger.error calls (which are the only ones used in the project).