| 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. |