where is the window title text set when activing another open document?

[René J.V. Bertin]

On Thursday July 06 2017 17:21:01 Kevin Funk wrote:

> That should be KDevelop::MainWindow::updateCaption() in 
> kdevplatform.git:shell/mainwindow.cpp

Indeed, thanks. Evident with hindsight...

It's not a super important feature but some users might appreciate it (because accustomed to using it) and the cost if negligible:

https://phabricator.kde.org/D6529

R.