Skip to content

Latest commit

 

History

History
10 lines (7 loc) · 423 Bytes

README.md

File metadata and controls

10 lines (7 loc) · 423 Bytes
Raw

Loogle Lean

This extension is a vscode front end for accessing loogle

Usage

This extension has exactly one command Loogle Search. This command can be accessed in one of three ways:

  1. The keyboard shortcut : Ctrl+Shift+L (Mac: Cmd+Shift+L)
  2. The search icon on the editor tab next to the lean icon
  3. Open the vscode command palette with Ctrl+Shift+P and search for loogle.