zed/assets/settings
Andrew Lygin 37f7957826
Setting to show/hide terminal title (#8559)
This PR adds settings for hiding title (breadcrumbs) from the terminal
toolbar. If the title is hidden, the toolbar disappears completely.

Example:

```json
"terminal": {
  "toolbar": {
    "title": true,
  }
}
```

[The PR that added the "toolbar"
setting](https://github.com/zed-industries/zed/pull/7338) didn't affect
toolbars of the terminals that are placed in the editor pane. This PR
fixes that.


Release Notes:

- Added support for configuring the terminal toolbar ([8125](https://github.com/zed-industries/zed/issues/8125))
2024-03-01 23:37:02 +02:00
..
default.json Setting to show/hide terminal title (#8559) 2024-03-01 23:37:02 +02:00
initial_local_settings.json Remove links to docs.zed.dev (#7187) 2024-01-31 22:26:15 -07:00
initial_tasks.json Runnables: remove version field from the format (#8118) 2024-02-21 14:30:16 +01:00
initial_user_settings.json Update default ui font settings 2023-11-21 10:43:18 -05:00