Hi Barry, hi all, currently, when dedicated is on, a new buffer is created with some autogenerated name.
Repeated dedicated calls will leave a row of badly readable buffer-names. An alternative would be to kill the default shell before and run just a new shell. No idea WRT to pros and cons. Also introducing a new switch here would be possible. Any importance at all? Any suggestions? Cheers, Andreas _______________________________________________ Python-mode mailing list Python-mode@python.org https://mail.python.org/mailman/listinfo/python-mode
