tab_switcher: Add support for tab switcher in terminal panel (#9963)

tab switcher retrieves active pane from workspace, but that function is not aware of Terminal Panel's pane. Thus in this PR we retrieve it manually and use it as the active pane if terminal panel has focus. Release Notes: - Fixed tab switcher not working in terminal panel.
2024-03-30 00:19:02 +01:00
parent 79b3b0c8ff
commit ed5bfcdddc
4 changed files with 15 additions and 1 deletions
@@ -9603,6 +9603,7 @@ dependencies = [
 "project",
 "serde",
 "serde_json",
+ "terminal_view",
 "theme",
 "ui",
 "util",