615de381da
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. |
||
|---|---|---|
| .. | ||
| persistence | ||
| dock.rs | ||
| item.rs | ||
| modal_layer.rs | ||
| notifications.rs | ||
| pane.rs | ||
| pane_group.rs | ||
| persistence.rs | ||
| searchable.rs | ||
| shared_screen.rs | ||
| status_bar.rs | ||
| toolbar.rs | ||
| workspace.rs | ||
| workspace_settings.rs | ||