mirror of
https://github.com/zed-industries/zed.git
synced 2026-05-27 00:08:42 +00:00
0933426e63
This PR is another step to tabless editing (#6424, #4963). It adds support for tab bar settings that allow the user to change its placement or to hide completely. Configuraton: ```json "tab_bar": { "show": true } ``` Placemnet options are "top", "bottom" and "no". This PR intentionally doesn't affect tab bars of other panes (Terminal for instance) to keep code changes small. I guess we'll do the rest in separate PRs. Release Notes: - Added support for configuring the editor tab bar (part of #6424, #4963). --------- Co-authored-by: Mikayla <mikayla@zed.dev> |
||
|---|---|---|
| .. | ||
| development | ||
| languages | ||
| adding-new-languages.md | ||
| additional-learning-materials.md | ||
| assistant-panel.md | ||
| channels.md | ||
| code-of-conduct.md | ||
| collaboration.md | ||
| configuring-zed.md | ||
| contribute-to-zed.md | ||
| conversations.md | ||
| developing-zed.md | ||
| feedback-and-support.md | ||
| getting-started.md | ||
| key-bindings.md | ||
| remote-development.md | ||
| SUMMARY.md | ||
| system-requirements.md | ||
| tasks.md | ||
| telemetry.md | ||
| themes.md | ||
| vim.md | ||