Message186751
issue17390_editor_title.patch is not correct, it changes the title on any window that inherits from EditorWindow, including the shell window. Here is a new patch that changes short_title() instead of saved_change_hook(), so it can be overridden by derived classes. This is the same method used to change the title of the shell window.
Derived classes of EditorWindow are PyShellEditorWindow and OutputWindow. OutputWindow overrides short_title() and IIUC PyShellEditorWindow should use the same title as a normal editor window. |
|
Date |
User |
Action |
Args |
2013-04-13 16:34:20 | kjohnson | set | recipients:
+ kjohnson, terry.reedy, ezio.melotti, roger.serwy, eric.araujo, Todd.Rovito, python-dev, bagratte, edmond.burnett |
2013-04-13 16:34:20 | kjohnson | set | messageid: <1365870860.67.0.986125564046.issue17390@psf.upfronthosting.co.za> |
2013-04-13 16:34:20 | kjohnson | link | issue17390 messages |
2013-04-13 16:34:20 | kjohnson | create | |
|