1 User Guide: As DrRacket Plugin
In sauron, all cmd/ctrl would be called c, alt/option called o.
c+e run REPL
c+m open project manager
c+y show/hide project files viewer (Linux, MacOS only)
c+s+y show/hide project files viewer (Windows only)
c+k version control, open commit editor
c+s+k commits push
c+s+p commits pull
c+r rename all bound
c+b or <click> jump to definition(notice that only identifier is clickable could trigger this)
c+s+b jump back to previous position
c+d open documentation
c+backspace delete whole line from current position
o+backspace delete previous sexp
c+x cut line if no selection, else cut selection
c+; comment selected text or line if uncommented, uncomment if commented
(/[/{/" when has selected text, wrap selected text automatically
1.1 Editor
Editor can auto formatting your racket file.
1.2 Panel: REPL
REPL panel helps users quickly testing their ideas, it has a few key bindings can work on it:
<enter> evaluate and save expression into evaluated history(also reset selected status to no selection)
<up> switch to previous expression in history
<down> switch to next expression in history
1.3 Version Control
You can use c+k open version control panel, once open the panel, it has two part:
1.3.1 commit message editor
You can type commit message in this editor, use c+<enter> to commit all ready files.
1.3.2 Changed files
Changed files would show below of the commit editor, they were clickable. Clicked means ready to commit, else is not.
It has three buttons for quick modify as the following list.
select all
unselect all
clean up
1.3.3 Push/Pull
c+s+k commits push
c+s+p commits pull
1.4 Project Management
1.4.1 Manager
add project(existed)
create project(new one)
remove project
open project
1.4.2 Viewer
interactive with files
open file via double click
add file/directory
rename file/directory, a nice feature is those files imported it will get update
remove file/directory
1.5 Special symbol(LaTeX/Agda like) support
Sauron also supports converting input starting from \ when entering the space key after these char sequences, this should be helpful for PLT/Math researchers.
\Pi converts to Π
\times converts to ×
\:: converts to ∷
\all converts to ∀
\neq converts to ≠
\nex converts to ∄
\top converts to ⊤
\neg converts to ¬
\Sigma converts to Σ
\alpha converts to α
\Gamma converts to Γ
\nin converts to ∉
\<=> converts to ⇔
\--> converts to ⟶
\0 converts to ∅
\\ converts to \
\U> converts to ⇑
\: converts to ∶
\Gd converts to Δ
\Gv converts to Υ
\Gy converts to Ψ
\Gl converts to Λ
\Go converts to Ω
\D> converts to ⇓
\qed converts to ∎
\Gp converts to Π
\Gw converts to Φ
\Gg converts to Γ
\equiv converts to ≡
\Gs converts to Σ
\== converts to ≡
\<= converts to ⇐
\<- converts to ←
\>> converts to ≫
\=> converts to ⇒
\~= converts to ≌
\|- converts to ⊢
\beta converts to β
\n|- converts to ⊬
\bot converts to ⊥
\to converts to →
\u> converts to ↑
\cap converts to ∩
\forall converts to ∀
\lam converts to λ
\pi converts to π
\-> converts to →
\m> converts to ↦
\cong converts to ≌
\-| converts to ⊣
\union converts to ∪
\lambda converts to λ
\land converts to ∧
\in converts to ∈
\<-> converts to ↔
\intersect converts to ∩
\zeta converts to ζ
\ge converts to ε
\gv converts to ν
\gk converts to κ
\gz converts to ζ
\gm converts to μ
\gl converts to λ
\go converts to ω
\ga converts to α
\gp converts to π
\gs converts to σ
\gt converts to τ
\gd converts to δ
\ex converts to ∃
\lor converts to ∨
\gw converts to ϕ
\gg converts to γ
\gy converts to ψ
\gi converts to ι
\gx converts to χ
\gh converts to η
\d> converts to ↓
\gn converts to ν
\gr converts to ρ
\gb converts to β
\cup converts to ∪
\div converts to ÷
\!= converts to ≠