Improve web UI, add options #2
Description
Compare with https://play.rust-lang.org/ , which has
- Expandable menu for options (e.g. unused variable detection)
- Help button
- configurable keybindings
- Automatic analysis with selection on save
- etc
{{ message }}