Show/hide worktree name in title bar

[blaaaaaaam]

What are you proposing?

Currently, we have the option to "show_branch_name" in the title bar.
There should be a separate option to "show_worktree_name".

Why does this matter?

It feels like an oversight to not have them as separate options and given the amount of customising allowed by zed, you should be able to disable showing worktrees if you don't use them in your workflow or project.

[suliatis]

Hi, I made a pr with this setting added: #61137

[blaaaaaaam]

legend, thank you

[JosephTLyons]

The title_bar.show_worktree_name setting has shipped in Zed Stable v1.13.1!

It defaults to true; set it to false to hide the worktree-name picker in the title bar:

"title_bar": {
  "show_worktree_name": false
}

Thanks to @suliatis for the implementation!