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