Update main window and dock widget titles as session name changes
authorSoeren Apel <soeren@apelpie.net>
Sat, 3 Sep 2016 22:15:42 +0000 (00:15 +0200)
committerSoeren Apel <soeren@apelpie.net>
Sat, 3 Sep 2016 22:15:42 +0000 (00:15 +0200)

No differences found