Differences
This shows you the differences between the selected revisions of the page.
2018-10-16 | 2018-10-16 | ||
5.14 Bug 1613 Configurable keyboard shortcuts for extensions (martin) | forgotten session log file option (martin) | ||
Line 163: | Line 163: | ||
Check the //Preview changes// checkbox to see and confirm the changes in file names before actually renaming the files. | Check the //Preview changes// checkbox to see and confirm the changes in file names before actually renaming the files. | ||
+ | |||
+ | 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 | 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 | ||