diff options
author | I516292 <arjun.suresh@sap.com> | 2023-03-22 18:52:06 +0530 |
---|---|---|
committer | Sébastien Wilmet <swilmet@informatique-libre.be> | 2023-03-21 16:00:00 +0100 |
commit | 39dd5d03aadf2283b32eb48adcc2cbdd0b439f06 (patch) | |
tree | 75140d3171ecb3072e68f3e968c3f8fc39154e17 | |
parent | 7d2f030eebba0e7f808b0bac7a71cd33f0eadf54 (diff) | |
download | gedit-39dd5d03aadf2283b32eb48adcc2cbdd0b439f06.tar.gz |
help: document keyboard shortcut for time plugin
-rw-r--r-- | help/C/gedit-plugins-insert-date-time.page | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/help/C/gedit-plugins-insert-date-time.page b/help/C/gedit-plugins-insert-date-time.page index e86e617d8..6e0e4584f 100644 --- a/help/C/gedit-plugins-insert-date-time.page +++ b/help/C/gedit-plugins-insert-date-time.page @@ -25,8 +25,10 @@ </item> </steps> - <p>To use the plugin, press the menu button in the top-right corner of the - window and select <guiseq><gui style="menuitem">Tools</gui> + <p>To use the plugin press + <keyseq><key>Shift</key><key>Alt</key><key>D</key></keyseq>, or press the + menu button in the top-right corner of the window and select + <guiseq><gui style="menuitem">Tools</gui> <gui style="menuitem">Insert Date and Time…</gui></guiseq>.</p> <p>By default, the <gui>Insert Date/Time</gui> plugin will prompt you to |