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: May 18 2024 at 10:02 UTC