Differences
This shows you the differences between the selected revisions of the page.
| 2019-10-21 | 2019-10-21 | ||
| session anchor (martin) | session_management explicit anchor (martin) | ||
| Line 41: | Line 41: | ||
| * Ctrl+V -- Paste files, opens path from clipboard, opens [[session_url|session URL]] from clipboard | * Ctrl+V -- Paste files, opens path from clipboard, opens [[session_url|session URL]] from clipboard | ||
| - | ===== [[session]] Session Management ===== | + | ===== [[session_management]] Session Management ===== |
| * Shift+Ctrl+D, Ctrl+W -- Close active session | * Shift+Ctrl+D, Ctrl+W -- Close active session | ||