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.