Hide pane tab bar buttons in certain contexts (#3807)

* entirely remove history navigation buttons in the terminal pane that
allows terminal elements only
* hide the entire tab bar if no active item is in pane (as in zed1)
* hide +/split/zoom buttons when the pane is not in focus (as in zed1)

Release Notes:

- N/A
1f603afbc1Kirill Bulatov committed on 12/23/2023, 8:27:41 PM· committed by GitHubparents698460ea249375
2 files changedLine totals unavailable