Save editor before run #19756
|
Dumb question perhaps, but just wondering whether the extension has this feature/option of saving the editor before running. |
Answered by
brettcannon
Sep 27, 2022
Replies: 1 comment 3 replies
|
As in when you click the "play" button? |
3 replies
Answer selected by
brettcannon
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment

As in when you click the "play" button?