Differences
This shows you the differences between the selected revisions of the page.
| 2017-12-21 | 2018-10-16 | ||
| generate url commands have been renamed while ago (martin) | 5.14 Bug 1613 Configurable keyboard shortcuts for extensions (martin) | ||
| Line 87: | Line 87: | ||
| The //Pause at the end// makes the script wait for a key press when it finishes. | The //Pause at the end// makes the script wait for a key press when it finishes. | ||
| - | In the //Session log file// you can specify a path to a [[logging|session log file]]. | + | In the //Session log file//, you can specify a path to a [[logging|session log file]]. |
| + | |||
| + | In the //Keyboard shortcut//, you can specify a [[custom_key_shortcuts|keyboard shortcut]] for the extension. &beta_feature | ||