diff options
| author | David Heinemeier Hansson <david@hey.com> | 2026-08-09 00:37:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-08-09 01:37:57 +0300 |
| commit | 36a8d36a7258e08b40c01bf521b1f4006525f143 (patch) | |
| tree | edaf35204db558c4d6b5a79ab78b6d6e5138c9dc /src/app/mod.rs | |
| parent | 3a76fea2d858a7a5ef58615f1cc9aabaa30b80ee (diff) | |
feat: make outer pane borders configurable (#2535)
Diffstat (limited to 'src/app/mod.rs')
| -rw-r--r-- | src/app/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/app/mod.rs b/src/app/mod.rs index 7fb8a01c..70d5fe93 100644 --- a/src/app/mod.rs +++ b/src/app/mod.rs @@ -631,6 +631,7 @@ impl App { prompt_new_tab_name: config.ui.prompt_new_tab_name, prompt_new_workspace_name: config.ui.prompt_new_workspace_name, pane_borders: config.ui.pane_borders, + pane_outer_borders: config.ui.pane_outer_borders, pane_scrollbars: config.ui.pane_scrollbars, pane_gaps: config.ui.pane_gaps, show_agent_labels_on_pane_borders: config.ui.show_agent_labels_on_pane_borders, @@ -1439,6 +1440,7 @@ impl App { self.state.prompt_new_tab_name = config.ui.prompt_new_tab_name; self.state.prompt_new_workspace_name = config.ui.prompt_new_workspace_name; self.state.pane_borders = config.ui.pane_borders; + self.state.pane_outer_borders = config.ui.pane_outer_borders; self.state.pane_scrollbars = config.ui.pane_scrollbars; self.state.pane_gaps = config.ui.pane_gaps; self.state.show_agent_labels_on_pane_borders = |