Hi Barry, hi all, reflecting the question, how to proceed when executing a buffer which might result in a time-consuming run.
For now starting it in a dedicated process resp. shell is the solution. These dedicated shell names however are machine-generated and hard to read resp. to remember. Possible solutions: - running a shell which is named after the buffer. - combine the buffer-name with the dedicated name. Opinions? Cheers, Andreas _______________________________________________ Python-mode mailing list Python-mode@python.org http://mail.python.org/mailman/listinfo/python-mode
