Stream: Coq users

Topic: Trouble saving scratchpad


view this post on Zulip Matthew Knepley (Feb 16 2022 at 18:22):

I have just begun using JsCoq. None of the file saving keystrokes seem to work, either on Chrome or Safari (I am using a Mac). The one thing that does work is Shift+Command+S, which allows me to set the file name, but no Save dialog comes up for any others.

Thanks, Matt


Last updated: Feb 04 2023 at 23:02 UTC