emerinohdz/StatusTitleBar — pull request #18 by doublerebel (2013-08-09 21:21:03+00:00)
Title: Change title between multiple windows of same application

Fix suggested by @iamdvr in reply to @posty's request on July 13, 2013
https://extensions.gnome.org/extension/59/status-title-bar/