Message208834
I presume the OP only cared about the Shell Window, and that was fixed.
I agree that submitted patches should not be ignored. I have decided I really want editor windows labelled as sometimes run the *same* file with more than one version, and it can be difficult to remember which x.py window will run with which version. My only question is whether 'Python x.y Editor' will be too much to add in addition to the short and long file name, but after being undecided for months, I think the best thing is to add it and see. |
|
Date |
User |
Action |
Args |
2014-01-22 18:05:31 | terry.reedy | set | recipients:
+ terry.reedy, kjohnson, ezio.melotti, roger.serwy, eric.araujo, Todd.Rovito, python-dev, bagratte, edmond.burnett |
2014-01-22 18:05:31 | terry.reedy | set | messageid: <1390413931.08.0.0125961530772.issue17390@psf.upfronthosting.co.za> |
2014-01-22 18:05:31 | terry.reedy | link | issue17390 messages |
2014-01-22 18:05:30 | terry.reedy | create | |
|