sage-shell-mode icon indicating copy to clipboard operation
sage-shell-mode copied to clipboard

Process is not killed even if the associated buffer is killed (Sage 7.4)

Open stakemori opened this issue 9 years ago • 0 comments

See discussion in #12. See also https://groups.google.com/forum/#!topic/sage-devel/RgHiBrolE9g.

stakemori avatar Sep 13 '16 01:09 stakemori