30/05/2013 16:51, BH:
As I said, it's cludgy: I've stolen code from GuiWorkArea::updateWindowTitle() to get that info back in the title, but (not in any real sense knowing C++) I don't understand the relationship between GuiWorkArea::updateWindowTitle() and GuiView::updateWindowTitle(GuiWorkArea * wa). So perhaps someone else can suggest a better way to do it.
Two remarks on the patch: 1/ we require Qt>= 4.5 now, so you can remove the #ifdef. 2/ is there a reason why you cannot use wa->windowTitle()? JMarc
