diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/headless.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/server/headless.rs b/src/server/headless.rs index b4e21320..d3e81a10 100644 --- a/src/server/headless.rs +++ b/src/server/headless.rs @@ -636,6 +636,9 @@ impl HeadlessServer { self.effective_size = client.terminal_size; self.app.state.outer_terminal_focus = client.outer_terminal_focus; + if client.outer_terminal_focus == Some(true) { + self.app.state.mark_active_tab_seen(); + } if !client.host_terminal_theme.is_empty() { self.app.set_host_terminal_theme(client.host_terminal_theme); } |
