Add repository name to Workbench title

Issue #124 resolved
Stephen Belknap
created an issue

Per comment thread (, add the name of the repository to the title bar, regardless if a single or if multiple repository tabs are opened.

This will make it easier to know which repository is being viewed if many tabs are open by avoiding the need to scan the tabs to see which is selected.

Comments (2)

  1. Log in to comment