index.html · 20b81d7e4ccfc0778bcfafdd9fe891ff28d6706b · Pierre Rousselin / jscoq-light

Source project has a limited visibility.

4 years ago

Shachar Itzhaky authored 4 years ago

Keyboard shortcuts are added via a CodeMirror.keyMaps entry.
In literate mode (snippets), PgUp/PgDn are not bound, to allow scrolling.

20b81d7e

Shachar Itzhaky authored 4 years ago

Keyboard shortcuts are added via a CodeMirror.keyMaps entry.
In literate mode (snippets), PgUp/PgDn are not bound, to allow scrolling.