Andrew Lygin 0933426e63 Editor tab bar settings (#7356) ... 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>		2024-05-08 10:54:48 -07:00
..
fonts	Remove unused font	2024-01-24 13:14:47 +01:00
icons	Add DecoratedIcon (#11512)	2024-05-07 16:36:13 -04:00
keymaps	vim: Add shift-k as alias for g h (#11463)	2024-05-06 16:05:19 -06:00
settings	Editor tab bar settings (#7356)	2024-05-08 10:54:48 -07:00
sounds	Update collaboration sounds, add sounds to screensharing	2023-07-04 16:18:42 -04:00
themes	Use ignored color from theme for items ignored by Git (#10038)	2024-04-01 11:34:49 -04:00