diff options
| author | Eric Yue <jiacheng.yue@foxmail.com> | 2026-09-20 22:33:50 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-20 16:33:50 +0200 |
| commit | 74505861e40c48e070e711bd4de662a17b0939b3 (patch) | |
| tree | 736ad65c9dba956554529b4169bc54827dc342e3 /src/client/shell.rs | |
| parent | c00a62dda169beb472fc2f386d0f673ca100dfa4 (diff) | |
fix: keep workspace navigation visible in terminal theme (#4408)
* fix: keep workspace navigation visible in terminal theme
refs #4300
* fix: clear workspace highlight on directional pane focus
refs #4300
---------
Co-authored-by: JJ Liebig <jonathan.liebig@gmail.com>
Diffstat (limited to 'src/client/shell.rs')
| -rw-r--r-- | src/client/shell.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/shell.rs b/src/client/shell.rs index 95ee5e78..27d30df9 100644 --- a/src/client/shell.rs +++ b/src/client/shell.rs @@ -4,7 +4,7 @@ mod actions; mod agent_sidebar; mod aggregate_navigation; mod workspace_navigation; -use workspace_navigation::WorkspaceNavigationTarget; +use workspace_navigation::{PendingWorkspaceHighlight, WorkspaceNavigationTarget}; mod composition; mod config; mod context_menu; |