Mike Sun bcdae9fefa Add settings to hide/show navigation history buttons (#10240) ... This is another variant for this [original PR](https://github.com/zed-industries/zed/pull/10091) to add settings to show/hide navigation history buttons that puts the settings under a new section called `tab_bar`: ``` "tab_bar": { // Whether or not to show the navigation history buttons. "show_nav_history_buttons": true } ``` <img width="314" alt="Screenshot 2024-04-02 at 3 00 53 PM" src="https://github.com/zed-industries/zed/assets/1253505/23c4fa19-5a63-4160-b3b7-1b5e976c36bf"> <img width="329" alt="Screenshot 2024-04-02 at 3 01 03 PM" src="https://github.com/zed-industries/zed/assets/1253505/64c2ebd2-9311-4589-a4e8-bd149c6c4ece">		2024-04-08 10:46:36 -04:00
..
contexts	Fix annoying system prompt	2023-05-29 21:47:59 -06:00
fonts	Remove unused font	2024-01-24 13:14:47 +01:00
icons	Channel chat: Add edit message (#9035)	2024-03-19 19:49:04 -06:00
keymaps	vim: Support gn command and remap gn to gl (#9982)	2024-04-05 20:23:37 -06:00
settings	Add settings to hide/show navigation history buttons (#10240)	2024-04-08 10:46:36 -04: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