Michael Kuhn 344dc07239 Add shortcut to save wiki page (#4452) ...

This allows saving the wiki page with Ctrl-Enter.

2018-07-24 12:20:52 +02:00

..

draw.js

add scroolbars to wide graphs. (#608)

2017-01-22 20:10:01 +08:00

index.js

Add shortcut to save wiki page (#4452)

2018-07-24 12:20:52 +02:00