It would definitely be helpful if we explicitly stated that people could save a worksheet page by typing Ctrl+G Ctrl+S.
I said this at the beginning of the workshop, when I showed people how to use Gorilla REPL's hamburger menu, but I'm like 99% sure that wasn't clear enough, or that people forgot. :(
k4y3ff
commented
9 years ago
It would definitely be helpful if we explicitly stated that people could save a worksheet page by typing
Ctrl+G Ctrl+S.I said this at the beginning of the workshop, when I showed people how to use Gorilla REPL's hamburger menu, but I'm like 99% sure that wasn't clear enough, or that people forgot. :(