Differences
This shows you the differences between the selected revisions of the page.
2023-02-16 | 2023-02-16 | ||
task_connection#switch => ui_tabs#switch + grammar (martin) | session => tab (martin) | ||
Line 44: | Line 44: | ||
===== [[keyboard]] Keyboard Shortcuts ===== | ===== [[keyboard]] Keyboard Shortcuts ===== | ||
- | [[ui_commander_key#session_management|Keyboard shortcuts]] for session management are the same for both interfaces. | + | [[ui_commander_key#session_management|Keyboard shortcuts]] for tab management are the same for both interfaces. |