Terry J. Reedy added the comment: Can you find the place where the editor title is set? I am currently thinking of something like
Python x.y.z: xxx.py (directory path) # or Python x.y.z Editor: xxx.y (path) I am guessing that the reason to put the file name at the beginning is in case the path is so long that the end gets cut off. (Let's give the secretary a couple more weeks to catch up.) ---------- stage: commit review -> needs patch _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue17390> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com