terminal: hide navigation buttons (#10847)

We were effectively discarding value set by display_nav_history_buttons
once we've updated settings for a pane. This commit adds another bit of
state to display_nav_history_buttons by allowing it to hard-deny setting
updates.

Release Notes:

- Fixed a bug that caused disabled navigation buttons to show up in
terminal panel.
615de381daPiotr Osiewicz committed on 4/22/2024, 12:38:16 PM· committed by GitHubparent74241d9
2 files changedLine totals unavailable