You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The Command to end Pluto is Ctrl C, which is also copy, even if I'm in the REPL trying to grab an error code, or working in another tab of my browser, or even an unrelated app, Copy doesn't work and instead closes Pluto.
The text was updated successfully, but these errors were encountered:
Often terminals support Ctrl + Shift + C and Ctrl + Shift + V to copy and paste. I believe it is a little unidiomatic to not have Ctrl + C as the send kill signal in this context.
The Command to end Pluto is Ctrl C, which is also copy, even if I'm in the REPL trying to grab an error code, or working in another tab of my browser, or even an unrelated app, Copy doesn't work and instead closes Pluto.
The text was updated successfully, but these errors were encountered: