search

leanprover / vscode-lean4

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

feat: set x-loogle-client header for loogle requests #481

Closed mhuisi closed 3 months ago

mhuisi commented 3 months ago

Looks like setting the user agent in the web view doesn't really work, so we now set a separate HTTP header to tell Loogle about us. cc @nomeata