where is the window title text set when activing another open document?
René J.V. Bertin
rjvbertin at gmail.com
Thu Jul 6 16:03:37 UTC 2017
On Thursday July 06 2017 17:21:01 Kevin Funk wrote:
> That should be KDevelop::MainWindow::updateCaption() in
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:
More information about the KDevelop-devel