Button | Key binding | Action |
---|---|---|
![]() ![]() |
Ctrl+↓/↑ or Ctrl+J/K |
Move through the proof. |
![]() |
Ctrl+Enter |
Run (or go back) to the current point. |
|
Move focus on specific clicked sentence. | |
Ctrl+Shift+↓/↑ or Ctrl+Shift+J/K |
Move focus on next/previous sentence. | |
![]() |
Restart Squirrel, re-initializing document and libraries. |
Button | Key binding | Action |
---|---|---|
Show list of pre-loaded files you can load. | ||
Load a new file from disk. It will be cached for next times. | ||
Ctrl+S | Save file in the browser's local storage (with the last name provided, or `untitled.v`). | |
Ctrl+Shift+S | Save file as (prompts for local file name), download to disk. | |
F1/F2 | Respectively toggle Vim/Emacs bindings. |