chore: loogleview shortcut and lower max-width

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

169 stars 48 forks source link

Closed mhuisi closed 5 months ago

mhuisi commented 5 months ago

Ctrl+Shift+L conflicts with the shortcut of the existing Loogle extension, so we change it to the Ctrl+K Ctrl+S chord.