void WorkbenchWindowConfigurer::SetTitle(const std::string& title)
{
  windowTitle = title;
  Shell::Pointer shell = window.Lock()->GetShell();
  if (shell)
  {
    shell->SetText(title);
  }
}