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
..
default.json	Add settings to hide/show navigation history buttons (#10240)	2024-04-08 10:46:36 -04:00
initial_local_settings.json	Remove links to docs.zed.dev (#7187)	2024-01-31 22:26:15 -07:00
initial_tasks.json	Small improvements of the task terminal spawn behavior (#9399)	2024-03-15 18:32:59 +02:00
initial_user_settings.json