diff options
author | Robin Gareus <robin@gareus.org> | 2017-02-16 16:07:59 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-02-16 16:07:59 +0100 |
commit | 9c10fc5b5c438e66a2f780920e684ea9abeb49a0 (patch) | |
tree | c886996c1653d03a953c20d49d998637848a95d0 /tools | |
parent | a31e70a7d577cf690c4e7689bba61b747768c4dc (diff) |
Properly update main window-title.
This fixes an issue with Session > Snapshot & switch, not updating
the widow title to the new snapshot (and probably some other edge cases
where it was possible for a detached editor and main window to
have different titles).
The main UI now updates the window-title like the Editor on StateSaved.
(it may lead to dup updates with DirtyChanged, c'est la vie)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions