Differences
This shows you the differences between the selected revisions of the page.
| 2018-07-30 | 2018-10-16 | ||
| url in command-line (martin) | 5.14 Bug 1613 Configurable keyboard shortcuts for extensions (martin) | ||
| Line 198: | Line 198: | ||
| In the //Interval// box, specify an interval between the checks for changes. | In the //Interval// box, specify an interval between the checks for changes. | ||
| - | In the //Session log file// you can specify a path to a [[logging|session log file]]. The option is available on the [[ui_pref_commands|Preferences dialog]] only. | + | In the //Session log file//, you can specify a path to a [[logging|session log file]]. The option is available on the [[ui_pref_commands|Preferences dialog]] only. |
| + | In the //Keyboard shortcut//, you can specify a [[custom_key_shortcuts|keyboard shortcut]] for the extension. The option is available on the [[ui_pref_commands|Preferences dialog]] only. &beta_feature | ||
| ===== [[scripting]] Scripting ===== | ===== [[scripting]] Scripting ===== | ||